API Reference fixpoint_sat v0.1.4
Modules
This module solves SAT problems represented in CNF form.
It's a list of lists of integers, where a positive integer i
represents a boolean variable mapped to i
,
and a negative integer j
represents negation of a boolean variable mapped to j
.
Examples of CNF representation
Dynamic Largest Individual Sum.
Documentation for FixpointSat
.