minisat
There are 46 repositories under minisat topic.
sarsko/CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
mishun/minisat-rust
Experimental minisat SAT solver reimplementation in Rust
togatoga/togasat
A Header-Only CDCL SAT Solver for Programming Contest
touist/touist
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
imandra-ai/minisat-ml
Faithful reimplementation of Minisat 2.2 in OCaml.
c-cube/batsat
A (parametrized) Rust SAT solver originally based on MiniSat
Kapilhk/SatPie
SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay
liffiton/PyMiniSolvers
A Python API for the MiniSat and MiniCard constraint solvers.
c-cube/ocaml-minisat
OCaml bindings to Minisat
c-cube/batsat-ocaml
OCaml bindings for batsat (https://github.com/c-cube/batsat)
flopp/alcazar-gen
SAT-based generator for Alcazar puzzles
jacky860226/JinkelaSat
A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)
Lipen/kotlin-satlib
🗿 SAT solver wrappers for Kotlin
jakublevy/glucose-win
Windows builds for The Glucose SAT Solver.
vaibhavbhagee/graph_subset
Subgraph isomorphism using SAT Solving
glnc/minisat-wasm
Compile MiniSat to WebAssembly using emscripten
jasbrocoli/Killer-Sudoku
This is an SAT project that tries to solve killer sudoku with miniSAT under advisor Ric Huang
omeerkorkmazz/dectblproc
Decision Table-Based Testing
sukrutrao/MaxSAT-Solver
A simple partial unweighted MaxSAT Solver that uses a Minisat backbone
yugr/sudoku
A simple Sudoku solver that I've done to experiment with SAT/SMT solvers.
adityagupta1089/Sudoku-Solver-by-CSP-and-Minisat
Sudoku Solver by constraint satisfaction problem (CSP) using heuristics - Minimum Remaining Value (MRV), Least Common Value (LCV), Maintainin Arc Consistency (MAC). Secondly, by converting to Satisfiability Problem (SAT) and using a sat solver (miniSAT).
julianthome/hands-on-solvers
Hands-on Constraint Solving: Sudoku to SAT/SMT
mcifra/sokoban
Simple Sokoban solver using SAT solver Minisat
NikhilGupta1997/SAT-Graph-Mapping
Check to see if a mapping exists between 2 graphs (subgraph-isomorphism) by developing optimised SAT clauses and solving them using MINISAT.
pradyumnameena/COL333-Artificial-Intelligence
Collection of assignments given by Prof. Mausam in the COL333 course
trongtai37/sudogame
A new fast, light and comprehensive Sudoku library, powered by SAT encoding!
ayoubSoussi/sudoku-solver
A Minisat-based solver for 9*9 sudoku boards.
elishadrion/LightUp
Solving LightUp problems with minisat
flopp/gol-sat
A SAT-based forward/backwards solver for Conway's "Game of Life".
liffiton/JSMiniSolvers
A Javascript API for the MiniSat and MiniCard constraint solvers.
rohankalbag/testing-and-verification
Testing and Verification of VLSI Circuits - Spring Semester 2023 - Indian Institute of Technology Bombay
Spenca/SATSolver
SAT-based Sudoku solver, written in Python.
zakariamaaraki/SAT-Sudoku-solver
Implementation of n x n SAT Sudoku solver using minisat
deepuhifi/RSAT
RSAT
far-galaxy/minisat_monitor
Веб-монитор COM-порта от приёмной станции спутников MiniSat
IslamHamada/Minimize-Sat-Model
An Algorithm to Minimize The SAT Model Returned By a SAT Solver