Description of Solvers
participating to the second CSP/Max-CSP Solver Competition
Solvers are presented in alphabetic order.
- Abscon 109 by Christophe Lecoutre and Sebastien Tabary
download the pdf
- Aolibdvo by Radu Marinescu
missing description
- BPrologCSP solver by Neng-Fa Zhou
download the pdf
- Buggy by Marc van Dongen
download the pdf
- CSP4J by Julien Vion
download the pdf
- CSP2SAT+minisat by Olivier Roussel
missing description
- Diarmuid-rndi/wtdi and rjw solvers by Diarmuid Grimes and Rick Wallace
download the pdf
- Galac by Gilles Audemard
missing description
- Mistral and Tramontane by Emmanuel Hebrard
download the pdf
- Rjw solver (see Diarmuis-rndi/wtfi above)
SAT4J (CSP2SAT4J) by Daniel Le Berre and Ines Lynce
download the pdf
- Sugar by Naoyuki Tamura and Mutsunori Banbara
download the pdf
Toolbar/Toolbar 2 by S. Bouveret, S. de Givry, F. Heras, J. Larrosa, E. Rollon, M. Sanchez, T. Schiex, G. Verfaillie and M. Zytnicki
download the pdf
- ValCSP by Assef Chmeiss, Lakhdar Sais and Vincent Krawczyk
download the pdf
See also the "scheduler" by Matthew Streeter, Daniel Golovin and Stephen F. Smith (download the pdf)