FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

gecode/contribs/qecode at develop · Gecode/gecode · GitHub

/ gecode Public

Breadcrumbs

  1. gecode
  2. contribs

qecode

Directory actions

More options

Directory actions

More options

Latest commit

 

History

History
 
 

Breadcrumbs

  1. gecode
  2. contribs

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/
Back | FazBrowse Home | New Git URL