dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / gecode / contribs / qecode /
at develop 1 folder 41 files
examples
AbstractWorker.hh
Doxyfile
Makefile.in.in
OptVar.cc
OptVar.hh
QCOPPlus.cc
QCOPPlus.hh
QCSPPlusUnblockable.cc
QCSPPlusUnblockable.hh
README
Strategy.cc
Strategy.hh
StrategyNode.cc
StrategyNode.hh
UnblockableBranching.hh
UnblockableViewValBranching.cc
UnblockableViewValBranching.hh
Work.cc
Work.hh
WorkComparators.hh
WorkManager.cc
WorkManager.hh
Worker.cc
Worker.hh
clean
configure
configure.ac
myDom.cc
myspace.cc
myspace.hh
qecode.hh
qsolver_parallel.cc
qsolver_parallel.hh
qsolver_qcop.cc
qsolver_qcop.hh
qsolver_qcsp.cc
qsolver_qcsp.hh
qsolver_unblockable.cc
qsolver_unblockable.hh
shortdesc.ac
vartype.hh
README 
QeCode is a quantified constraint satisfaction problems (QCSP) solver based on Gecode. 
It can also solve QCSP+, an extension of QCSP where quantifiers can be restricted and QCOP+, a quantified optimizaion problem formalism which scopes multi-level programming problems. 

QeCode have been developped at Universite d'Orleans by Jeremie Vautard, Arnaud Lallouet and Marco Benedetti. More info is available on
http://www.univ-orleans.fr/lifo/software/qecode/