A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) 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

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

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

[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 and SMT solving.

`cron` & dashboard in cloud land

SAT Solver

SAT Competition 2013 Source Archives

CDCL SAT Solver from Scratch in Python

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

OCaml bindings for batsmt

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

Sudoku solver using CaDiCaL SAT solver

My first SMT solver (only QF_UF)