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.
//! Various procedures for mutating a context.
//!//!For the most part these are methods accessed via a context, and primarily placed here for documentation.
pubmodanalysis;pubmodapply_consequences;pubmodbackjump;pubmodbcp;pubmoddecision;pubmodschedulers;pubmodsolve;