Minicsp


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.


Informations générales
Suivi
Maintenu
Informations spécifiques
Langage(s) de développement
C++
N° de version courante
V1.0
Date de la version courante
OS supporté
Type de licence
GPL


Porteur(s)
Unité
MIAT
Equipe
SaAB
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 ?)

 

 

Système d'information scientifique MIA classé par unité (UR, UMR)

 

Logo BioSP       Logo Mistea       Logo MIA-T       Logo MaIAGE