Sha256: aa30e537b20b80a760a752d7e25cd992855d41921bf4a809f91fa4a39c332ae7
Contents?: true
Size: 458 Bytes
Versions: 16
Compression:
Stored size: 458 Bytes
Contents
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/
Version data entries
16 entries across 16 versions & 1 rubygems