Projects in Awesome Lists tagged with minisat
A curated list of projects in awesome lists tagged with minisat .
https://github.com/sarsko/CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
automated-reasoning deductive-reasoning formal-methods formal-verification minisat proof rust rust-lang sat sat-solver satisfiability verification
Last synced: 09 May 2025
https://github.com/mishun/minisat-rust
Experimental minisat SAT solver reimplementation in Rust
cnf minisat np-complete rust sat-solver
Last synced: 09 May 2025
https://github.com/imandra-ai/minisat-ml
Faithful reimplementation of Minisat 2.2 in OCaml.
imperative-programming minisat ocaml sat
Last synced: 22 Nov 2024
https://github.com/c-cube/batsat
A (parametrized) Rust SAT solver originally based on MiniSat
drat minisat proof-generating rust sat-solver sat-solver-bindings
Last synced: 06 Apr 2025
https://github.com/liffiton/pyminisolvers
A Python API for the MiniSat and MiniCard constraint solvers.
constraints minisat python-api solver
Last synced: 14 Apr 2025
https://github.com/flopp/alcazar-gen
SAT-based generator for Alcazar puzzles
generator minisat puzzle sat-solver
Last synced: 10 Apr 2025
https://github.com/flopp/gol-sat
A SAT-based forward/backwards solver for Conway's "Game of Life".
conways-game-of-life game-of-life gameoflife minisat sat sat-solver satisfiability
Last synced: 15 Mar 2025
https://github.com/yugr/sudoku
A simple Sudoku solver that I've done to experiment with SAT/SMT solvers.
Last synced: 18 Feb 2025
https://github.com/trongtai37/sudogame
A new fast, light and comprehensive Sudoku library, powered by SAT encoding!
minisat sudoku sudoku-game sudoku-generator sudoku-solver
Last synced: 19 Mar 2025
https://github.com/liffiton/jsminisolvers
A Javascript API for the MiniSat and MiniCard constraint solvers.
constraints javascript-api minisat solver
Last synced: 27 Mar 2025
https://github.com/joeylr2042/traffic-cameras-management-with-vertex-cover
Finding shortest path and minimum vertex cover of the street graph.
algorithm cplusplus minisat pipe process shortest-paths thread vertex-cover
Last synced: 01 Apr 2025
