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 code

@mainpage Quacode

\b Quacode is a Quantified Constraint Satisfaction Problems (QCSP) solver built over the Gecode toolkit.