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.
/// Representation for the probability of choosing `true`
pubtypePolarityLean=f64;/// Representation for the probability of making a random decision
pubtypeRandomDecisionBias=f64;