The following tools are installed with this dockerfile:
- MiniZinc (gecode, chuffed and or-tools backends)
- Z3 SMT solver with python frontend
- minisat solver
- FZN2OMT tools (requires installation of optimathsat)
- D4 Knowledge compiler and Query-d-DNNF tool
- SDD knowledge compiler vie the pySDD wrapper
- MARCO tool for enumerating conflicts