modules.applications.optimization.sat.mappings.direct

Classes

Direct()

Maps the problem from nnf to pysat.