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.