File: README

package info (click to toggle)
gecode 6.2.0-7
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 27,380 kB
  • sloc: cpp: 337,599; perl: 2,048; makefile: 1,798; sh: 215
file content (6 lines) | stat: -rw-r--r-- 458 bytes parent folder | download | duplicates (8) 
1
2
3
4
5
6
 
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/