dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / gecode / contribs / quacode / doxygen / mainpage.md
at develop 149 B view raw view rendered
1@mainpage Quacode 2 3\b Quacode is a Quantified Constraint Satisfaction Problems (QCSP) solver built over the [Gecode](http://www.gecode.org) toolkit.