Content
Downloads
Here you can download the current (as well as previous) versions of DEMOCRATIX. Note that DEMOCRATIX utilizes the ASP solver Clingo 4.4.0, which is not included in the package (for details, see System requirements).
Current version
System requirements
Democratix requires the following tools to be installed on your system:
- Python 2.7 (available at http://www.python.org/)
- Clingo 4.4.0 (available at http://potassco.sourceforge.net/)
(Note: Clingo versions > 4.4.0 are currently not supported)
Just select the appropriate Clingo version for your system, download it, and adapt the path to the solver at the beginning of the Democratix.py file.
Previous releases