SAT Conference 2021 Conference Paper
OptiLog: A Framework for SAT-based Systems
- Carlos Ansótegui
- Jesus Ojeda
- António Pacheco 0004
- Josep Pon
- Josep M. Salvia
- Eduard Torres
Abstract We present OptiLog, a new Python framework for rapid prototyping of SAT-based systems. OptiLog allows to use and integrate SAT solvers currently developed in C/C++ just by implementing the iSAT C++ interface. It also provides a Python binding to the PBLib C++ toolkit for encoding Pseudo Boolean and Cardinality constraints. Finally, it leverages the power of automatic configurators by allowing to easily create configuration scenarios including multiple solvers and encoders.