aspartame
aspartame is an ASP-based constraint solver

Overview

aspartame is an ASP-based constraint solver similar to the SAT-based solver sugar. aspartame takes a CSP in the sugar format or the XCSP 2.1 format, translates it into ASP facts and solves it with clasp. Sugar (extended with a modified output hook) is used for the translation into ASP facts. For the solving process an ASP encoding is used benefiting from the order encoding.

aspartame

To get an impression of aspartame performance, visit the benchmarking area (old).

Help

Some documentation on how to use aspartame can be found here.

aspartame is part of Potassco, the Potsdam Answer Set Solving Collection, hosted at Sourceforge.

For any comments, just drop us a message!

Download

You can download aspartame here.

SourceForge.net Logo Valid XHTML 1.0 Strict Valid CSS!