Showing 2 of 2 repositories tagged #satisfiability, ranked by stars
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
