otter_sat 0.1.0

A library for determining the satisfiability of boolean formulas written in conjunctive normal form, developed to support investigation into solvers by researchers, developers, or anyone curious.
Documentation
1
2
3
4
5
6
7
/*!
Generic implementations of some useful things.
*/

pub mod index_heap;
pub mod luby;
pub mod minimal_pcg;