OptiLog

swMATH41588MaRDI QIDQ5974986FDOQ5974986

Author name not available (Why is that?)

Described by source

• OptiLog: a framework for SAT-based systems

This page was built for software: OptiLog