Skip to content

Latest commit

 

History

History

qecode

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
examples
examples
 
 
AbstractWorker.hh
AbstractWorker.hh
 
 
Doxyfile
Doxyfile
 
 
Makefile.in.in
Makefile.in.in
 
 
OptVar.cc
OptVar.cc
 
 
OptVar.hh
OptVar.hh
 
 
QCOPPlus.cc
QCOPPlus.cc
 
 
QCOPPlus.hh
QCOPPlus.hh
 
 
QCSPPlusUnblockable.cc
QCSPPlusUnblockable.cc
 
 
QCSPPlusUnblockable.hh
QCSPPlusUnblockable.hh
 
 
README
README
 
 
Strategy.cc
Strategy.cc
 
 
Strategy.hh
Strategy.hh
 
 
StrategyNode.cc
StrategyNode.cc
 
 
StrategyNode.hh
StrategyNode.hh
 
 
UnblockableBranching.hh
UnblockableBranching.hh
 
 
UnblockableViewValBranching.cc
UnblockableViewValBranching.cc
 
 
UnblockableViewValBranching.hh
UnblockableViewValBranching.hh
 
 
Work.cc
Work.cc
 
 
Work.hh
Work.hh
 
 
WorkComparators.hh
WorkComparators.hh
 
 
WorkManager.cc
WorkManager.cc
 
 
WorkManager.hh
WorkManager.hh
 
 
Worker.cc
Worker.cc
 
 
Worker.hh
Worker.hh
 
 
clean
clean
 
 
configure
configure
 
 
configure.ac
configure.ac
 
 
myDom.cc
myDom.cc
 
 
myspace.cc
myspace.cc
 
 
myspace.hh
myspace.hh
 
 
qecode.hh
qecode.hh
 
 
qsolver_parallel.cc
qsolver_parallel.cc
 
 
qsolver_parallel.hh
qsolver_parallel.hh
 
 
qsolver_qcop.cc
qsolver_qcop.cc
 
 
qsolver_qcop.hh
qsolver_qcop.hh
 
 
qsolver_qcsp.cc
qsolver_qcsp.cc
 
 
qsolver_qcsp.hh
qsolver_qcsp.hh
 
 
qsolver_unblockable.cc
qsolver_unblockable.cc
 
 
qsolver_unblockable.hh
qsolver_unblockable.hh
 
 
shortdesc.ac
shortdesc.ac
 
 
vartype.hh
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/