cdcl
There are 30 repositories under cdcl topic.
shnarazk/splr
A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
Kapilhk/SatPie
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
sgomber/CDCL-SAT
A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
NickLee2050/HustProgramDesign
Program Design affiliated to General Course Design of CSE College, HUST, for students enrolled in 2018.
imandra-ai/batsmt
[wip] Modular SMT solver in rust
private-yusuke/sat-d
A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム
paultristanwagner/satisfiability-checking
Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)
enzet/awesome-solving
SAT and SMT solving.
casperdcl/cdcl
`cron` & dashboard in cloud land
imandra-ai/batsmt-ocaml
OCaml bindings for batsmt
Kienyew/CDCL-SAT-Solver-from-Scratch
CDCL SAT Solver from Scratch in Python
kondylidou/master_thes_code
A BDD library written in Rust to support a CDCL Sat Solver like Glucose, while running in parallel.
msoos/sat_competition_2013_sources
SAT Competition 2013 Source Archives
solhop/rsat
SAT Solver
apurva91/SAT-Solver
CDCL SAT Solver implementation for babies
glnc/microsat
Simple CDCL SAT solver
kc885/SAT-Solver-with-CDCL
Lightweight but fast SAT solver with input sorting and CDCL
nitinkedia7/satispy
Super efficient SAT solver in 500 lines of code
imandra-ai/abstract-transition-systems
[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration
itnef/smtx
My first SMT solver (only QF_UF)
msoos/sat_competition_2014_sources
SAT Competition 2014 Source Archives
Pikurrot/sudoku-sat-solver
Sudoku solver using CaDiCaL SAT solver
timbeurskens/gobdd
An ROBDD & CDCL based SAT solver
aaw/millisat
A single-file Python CDCL SAT solver
darren96/CS4244-Project
CS4244 Project Repo
jyuv/DPLLT
DPLLT fot SMT problems using CDCL, BCP & DLIS. Provided with TQ & UF theories
nguermond/cdcl
An ocaml implementation of the CDCL algorithm.
NicolaDes/SATIVA
SAT solver using CDCL procedure and watched literals, VSIDS herustics.
RobertObkircher/sat-solver
CDCL SAT Solver