2026-07-20T05:03:06Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:16699 2024-03-06T10:58:05Z ddc:004 open_access

OptiLog V2: Model, Solve, Tune and Run Alòs, Josep Ansótegui, Carlos Salvia, Josep M. Torres, Eduard Tool framework Satisfiability Modelling Solving 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Josep Alòs and Carlos Ansótegui and Josep M. Salvia and Eduard Torres 2022 Is Part Of LIPIcs, Volume 236, 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.SAT.2022.25 urn:nbn:de:0030-drops-166996 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2022.25 eng https://creativecommons.org/licenses/by/4.0/legalcode