# fixpoint_sat v0.1.9 - Table of Contents

> SAT Solver

## Pages

- [Fixpoint SAT solver](readme.md)

## Modules

- [Fixpoint.SatSolver](Fixpoint.SatSolver.md): 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
- [Fixpoint.SatSolver.VariableSelector.DLIS](Fixpoint.SatSolver.VariableSelector.DLIS.md): Dynamic Largest Individual Sum.

