Lib.rs

› Keywords #sat-solver #boolean-satisfiability #bindings #allsat #bdd

#mini-sat

  1. bddminisat-sys

    FFI bindings to bdd_minisat_all, a BDD-based AllSAT solver

    v0.1.0 #sat-solver #mini-sat #bdd #allsat #solver

  2. cadical

    Rust bindings for the CaDiCaL SAT solver

    v0.1.16 550 #sat-solver #mini-sat #satisfiability #logic

  3. batsat

    Extensible SAT solver in Rust

    v0.6.0 3.2K #sat-solver #mini-sat #sat

  4. cryptominisat

    Rust bindings for CryptoMiniSat, a boolean satisfiability solver

    v5.8.0 #sat-solver #boolean-satisfiability #bindings #mini-sat #xor #git-submodule

  5. satif-minisat

    Rust wrapper for the minisat SAT solver

    v0.2.7 650 #mini-sat #sat-solver #bindings

  6. minisat

    interface. Solves a boolean satisfiability problem given in conjunctive normal form.

    v0.4.4 140 #boolean-satisfiability #sat-solver #api-bindings

  7. rssat

    DEPRECATED: rssat is a Rust library that provides Rust bindings for multiple popular SAT solvers

    v0.1.6 300 #cadical #mini-sat #glucose #slover

    8. Try searching with DuckDuckGo.

  8. sat

    Interface for defining and solving SAT problems

    v0.1.0 #sat-solver #solve #mini-sat #boolean-satisfiability #circuit-design

  9. ratsat

    MiniSat reimplemented in Rust

    v0.0.1 #mini-sat #reimplemented #sat

  10. ratsat-bin

    MiniSat reimplemented in Rust

    v0.0.1 #mini-sat #dimacs #sat