Minicsp is a clause learning CSP solver.
Minicsp is a clause learning CSP solver. Briefly, it combines clause learning, as it is used in SAT solvers, with the ability to use global constraints. In terms of modeling, it contains implementations of several constraints, either by providing a propagator or a decomposition. Minicsp can be used as a library or as a black box solver. It can read instances in flatzinc or XCSP.
Its implementation is based on MiniSat.
Mots clés
Lien vers l'élément du SI MIA
minicsp.html Informations générales
Statut
À disposition Suivi
Maintenu Informations spécifiques
Langage(s) de développement
N° de version courante
V1.0 Date de la version courante
OS supporté
Type de licence
Etat
Développement suivi Auteur(s)
George Katsirelos
Contact
georgios.katsirelos@inra.fr
Publication de référence
Informations complémentaires
The minicsp source is hosted in a mercurial repository at bitbucket. You can download the tarball of version 1.0. Note that it requires boost, and relatively recent versions of flex and bison (for the flatzinc frontend) and libxml (for the XCSP frontend) to compile. If you do not have access to these, you can download a complete tarball that includes the subset of boost and necessary to compile minicsp and the files produced by flex and bison (but not libxml).
A noter qu'il est difficile de voir si c'est un dev Inra (de quand date la these à Toronto ?)