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:

Just select the appropriate Clingo version for your system, download it, and adapt the path to the solver at the beginning of the file.

Previous releases