Scarab: a rapid prototyping tool for SAT-based constraint programming systems In this paper, we present the Scarab system which is a prototyping tool for developing SAT-based systems. It provides a rich constraint modeling language on Scala and enables a programmer to rapidly specify problems and to experiment with different modelings. Scarab also provides a simple way to realize incremental solving, solution enumeration, and dynamic addition and/or removal of constraints. In Scarab, we can use integer variables and arithmetic constraints, and all of them are encoded into SAT without the need of developing dedicated encoder. SAT solvers are then used for finding solutions.
References in zbMATH (referenced in 2 articles , 1 standard article )
Showing results 1 to 2 of 2.
- Soh, Takehide; Le Berre, Daniel; Roussel, Stéphanie; Banbara, Mutsunori; Tamura, Naoyuki: Incremental SAT-based method with native Boolean cardinality handling for the Hamiltonian cycle problem (2014)
- Soh, Takehide; Tamura, Naoyuki; Banbara, Mutsunori: Scarab: a rapid prototyping tool for SAT-based constraint programming systems (2013)