aspartame is a translation-based constraint solver that converts a constraint satisfaction problem from Sugar or XCSP format to ASP facts in order to solve the problem with gringo and clasp.

Download Resources