ransalg
Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT
Otpuschennikov, Ilya, Semenov, Alexander, Kochemazov, Stepan
Many new methods for solving Boolean Satisfiability Problem (SAT) were introduced in the past two decades. These methods make it possible to solve combinatorial problems from various areas [2]. One can use different approaches to encode an original problem to SAT [14]. Often each particular problem requires researchers to develop and implement special encoding technique. Recently a number of systems that automate procedures of encoding combinatorial problems to SAT were developed [6,7,12,17,20].