A Header-Only CDCL SAT Solver for Programming Contest

A Python API for the MiniSat and MiniCard constraint solvers.

OCaml bindings to Minisat

Compile MiniSat to WebAssembly using emscripten

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

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

Finding shortest path and minimum vertex cover of the street graph.

SAT-based generator for Alcazar puzzles

Windows builds for The Glucose SAT Solver.

This is an SAT project that tries to solve killer sudoku with miniSAT under advisor Ric Huang

Discrete Optimization Algorithms

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

Just good ol' minisat with some quality of life improvements and weak/strong assumptions

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

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

Combinational Logic Circuits SAT analyzer.

Program that gets from user or randomly generates streets (multilinear segment approximation) with name and segment coordinates, gets the graph formed by the streets with intersections and adjacent street nodes as vertices, and finds shortest path (one of) between any 2 nodes of the resultant undirected and unweighted graph. Vertex Cover program…

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

A minimalistic and high-performance SAT solver

A simple partial unweighted MaxSAT Solver that uses a Minisat backbone