COINS: a constraint-based interactive solving system

Samir Ouis (1) , Narendra Jussien (2) , Patrice Boizumault (3)

1 LINA - Laboratoire d'Informatique de Nantes Atlantique
2 TASC - Theory, Algorithms and Systems for Constraints
3 Equipe CODAG - Laboratoire GREYC - UMR6072

This paper describes the COINS (COnstraint-based INteractive Solving) system: a conflict-based constraint solver. It helps understanding inconsistencies, simulates constraint additions and/or retractions (without any propagation), determines if a given constraint belongs to a conflict and provides diagnosis tools (e.g. why variable v cannot take value val). COINS also uses user-friendly representation of conflicts and explanations.

Domaines: Génie logiciel [cs.SE]

Samir Ouis, Narendra Jussien, Patrice Boizumault. COINS: a constraint-based interactive solving system. 2002. ⟨hal-00138266⟩