minisat

Experimental minisat SAT solver reimplementation in Rust

TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)

A Header-Only CDCL SAT Solver for Programming Contest

Faithful reimplementation of Minisat 2.2 in OCaml.

A (parametrized) Rust SAT solver originally based on MiniSat

A Python API for the MiniSat and MiniCard constraint solvers.

OCaml bindings for batsat (https://github.com/c-cube/batsat)

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

A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)

SAT-based generator for Alcazar puzzles

Simple bindings to Minisat-C

Compile MiniSat to WebAssembly using emscripten

Decision Table-Based Testing

Subgraph isomorphism using SAT Solving

🗿 SAT solver wrappers for Kotlin

A SAT-based forward/backwards solver for Conway's "Game of Life".

A simple Sudoku solver that I've done to experiment with SAT/SMT solvers.

Check to see if a mapping exists between 2 graphs (subgraph-isomorphism) by developing optimised SAT clauses and solving them using MINISAT.

SAT-based Sudoku solver, written in Python.

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).

A simple partial unweighted MaxSAT Solver that uses a Minisat backbone

Solving LightUp problems with minisat

Implementation of n x n SAT Sudoku solver using minisat

Solving a Graph Subset Mapping Problem using MiniSAT

A Minisat-based solver for 9*9 sudoku boards.

Simple Sokoban solver using SAT solver Minisat

Collection of assignments given by Prof. Mausam in the COL333 course

Hands-on Constraint Solving: Sudoku to SAT/SMT

Quick template to start doing CSP in C++ with Minisat

Combinational Logic Circuits SAT analyzer.