Downloads
Make sure that your solver or call scripts works correctly we provide a list of downloads.
- Preprocessors
-
The competition preprocessors generate the input for the call scripts used for the different competitions. These programs simple shell scripts transforming the benchmarks into the specified format. Follow the links for the corresponding competition: MSG, SCore and SLparse
- Correctness checkers
-
For each compeition the answer sets and solutions will be checked by a correctness checker. You can download them from the Asparagus system web site asparagus.cs.uni-potsdam.de.
- Wrapper for solver output modifications (Competition Format)
-
Simple wrapper reading the solver output which looks like the smodels output and transforms it into the competition format. Uses glibc and is only with gcc compileable. Author is Benjamin Kaufmann. (Download)
|