🥮 mooncakes.io

    manabeai/ac-library-mbt/twosat does not have a README file

    TwoSat

    source
    pub struct TwoSat {
      // private fields
    } derive(
    Debug    )

    Boolean 2-SAT over clauses (x_i = f) OR (x_j = g).

    TwoSat::add_clause

    source
    fn TwoSat::add_clause(self : TwoSat, i : Int, f : Bool, j : Int, g : Bool) -> Unit

    TwoSat::answer

    source
    fn TwoSat::answer(self : TwoSat) -> Array[Bool]

    A snapshot of the last satisfying assignment; only meaningful after a successful check.

    TwoSat::new

    source
    fn TwoSat::new(n : Int) -> TwoSat

    TwoSat::satisfiable

    source
    fn TwoSat::satisfiable(self : TwoSat) -> Bool

    Source Files

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io