OptiLog

MaRDI QIDQ5974986swMATHFDO

Official website https://www.iiia.csic.es/sat2021/program/Slides32.pdf

Described by source

• OptiLog: a framework for SAT-based systems

Cited in

(5)

• PBLib
• PyMiniSolvers
• SATisPy
• MergeSat
• PyPBLib

This page was built for software: OptiLog