aspartame is an ASP-based constraint solver


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.


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


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!


You can download aspartame here. Logo Valid XHTML 1.0 Strict Valid CSS!