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