A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust

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

`cron` & dashboard in cloud land

A single-file Python CDCL SAT solver

Sudoku solver using CaDiCaL SAT solver

CDCL SAT Solver

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

CDCL SAT Solver from Scratch in Python

DPLLT fot SMT problems using CDCL, BCP & DLIS. Provided with TQ & UF theories

[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration

An ROBDD & CDCL based SAT solver

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

SAT Solver

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

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

My first SMT solver (only QF_UF)

Super efficient SAT solver in 500 lines of code