OptiLog

swMATH41588MaRDI QIDQ5974986FDOQ5974986

Author name not available (Why is that?)

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