Version 1.0.0

Added

• Containerization of the whole application using Docker
• Solvers executions sandboxing
• Test suite and tests for each specific solver
• Datalog and I-DLV support

Changed

• Improved documentation

Security

• Solver vulnerabilities mitigated through sandboxing

Full Changelog: v0.1.0...v1.0.0

Version 0.1.0

First (Beta) version of PythonESE