OptiLog V2: Model, Solve, Tune and Run

We present an extension of the OptiLog Python framework. We fully redesign the solvers module to support the dynamic loading of incremental SAT solvers with support for external libraries. We introduce new modules for modelling problems into Non-CNF format with support for Pseudo Boolean constraints, for evaluating and parsing the results of applications, and we add support for constrained execution of blackbox programs and SAT-heritage integration. All these enhancements allow OptiLog to become a swiss knife for SAT-based applications in academic and industrial environments.

Authors

• Josep Alos
• Carlos Ansótegui
• Josep M. Salvia
• Eduard Torres

Keywords

• Tool framework
• Satisfiability
• Modelling
• Solving