On the Configuration of More and Less Expressive Logic Programs

Tools for configuring SAT and ASP solvers.

Executables:

Executable	Link
SAT Configurator	Python script
ASP Configurator	64-bit linux binary
Script used for configuring SAT instances	Download zip file (< 10KB)
Script used for configuring ASP instances	Download zip file (< 10KB)

Usage:

python SATconf.py -f instance.cnf [parameters] | solver cat instance.gringo | configurator-asp [parameters] | solver

Benchmarks:

Encodings/instances/generators used in the experiments:

• ASP (approx. 630 MB): Download
• SAT (approx. 4 GB): Download
• Synthetic problem (approx. 8MB): Download