A modern CDCL SAT solver in Rust

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

Program Design affiliated to General Course Design of CSE College, HUST, for students enrolled in 2018.

A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python

[wip] Modular SMT solver in rust

A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム

Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)

SAT Solver

SAT Competition 2013 Source Archives

SAT and SMT solving.

OCaml bindings for batsmt

`cron` & dashboard in cloud land

Lightweight but fast SAT solver with input sorting and CDCL

CDCL SAT Solver implementation for babies

Simple CDCL SAT solver

Super efficient SAT solver in 500 lines of code

A BDD library written in Rust to support a CDCL Sat Solver like Glucose, while running in parallel.

Sudoku solver using CaDiCaL SAT solver

My first SMT solver (only QF_UF)

CDCL SAT Solver from Scratch in Python