cdcl
There are 0 repository under cdcl topic.
- splr
shnarazk / splr
A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
Language:Rust 71 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
Language:Jupyter Notebook 20NickLee2050 / HustProgramDesign
Program Design affiliated to General Course Design of CSE College, HUST, for students enrolled in 2018.
Language:C 14sgomber / CDCL-SAT
A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
Language:Jupyter Notebook 14- Language:SMT 10
private-yusuke / sat-d
A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム
Language:D 9paultristanwagner / satisfiability-checking
Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)
Language:Java 5- Language:HTML 3
- Language:Rust 3
msoos / sat_competition_2013_sources
SAT Competition 2013 Source Archives
- Language:Rust 3
apurva91 / SAT-Solver
CDCL SAT Solver implementation for babies
Language:Jupyter Notebook 2- Language:C 2
kc885 / SAT-Solver-with-CDCL
Lightweight but fast SAT solver with input sorting and CDCL
Language:C++ 2kondylidou / master_thes_code
A BDD library written in Rust to support a CDCL Sat Solver like Glucose, while running in parallel.
Language:C++ 2nitinkedia7 / satispy
Super efficient SAT solver in 500 lines of code
Language:Jupyter Notebook 2imandra-ai / abstract-transition-systems
[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration
Language:OCaml 1- Language:Haskell 1
Kienyew / CDCL-SAT-Solver-from-Scratch
CDCL SAT Solver from Scratch in Python
Language:Python 1SAT Competition 2014 Source Archives
Pikurrot / sudoku-sat-solver
Sudoku solver using CaDiCaL SAT solver
Language:Python 1- Language:Java 0
- Language:Python 0
- Language:OCaml 0
- Language:C++ 0
- Language:Rust 0
timbeurskens / gobdd
An ROBDD & CDCL based SAT solver
Language:Go 0- Language:C++
