casperdcl/cdcl

`cron` & dashboard in cloud land

Language: HTML - Size: 71.3 KB - Last synced: about 21 hours ago - Pushed: about 22 hours ago - Stars: 3 - Forks: 0

enzet/awesome-solving

SAT and SMT solving.

Size: 2.93 KB - Last synced: 14 days ago - Pushed: about 5 years ago - Stars: 3 - Forks: 0

imandra-ai/batsmt

[wip] Modular SMT solver in rust

Language: SMT - Size: 660 KB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 10 - Forks: 1

imandra-ai/abstract-transition-systems

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

Language: OCaml - Size: 229 KB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 1 - Forks: 1

imandra-ai/batsmt-ocaml

OCaml bindings for batsmt

Language: Rust - Size: 94.7 KB - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 3 - Forks: 0

shnarazk/splr

A modern CDCL SAT solver in Rust

Language: Rust - Size: 5.34 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 71 - Forks: 8

Pikurrot/sudoku-sat-solver

Sudoku solver using CaDiCaL SAT solver

Language: Python - Size: 46.9 KB - Last synced: 2 months ago - Pushed: 6 months ago - Stars: 1 - Forks: 0

paultristanwagner/satisfiability-checking

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

Language: Java - Size: 892 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 4 - Forks: 0

NickLee2050/HustProgramDesign

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

Language: C - Size: 25.4 MB - Last synced: 7 months ago - Pushed: about 3 years ago - Stars: 15 - Forks: 0

RobertObkircher/sat-solver

CDCL SAT Solver

Language: Rust - Size: 78.1 KB - Last synced: 11 days ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

apurva91/SAT-Solver

CDCL SAT Solver implementation for babies

Language: Jupyter Notebook - Size: 328 KB - Last synced: 10 months ago - Pushed: about 4 years ago - Stars: 2 - Forks: 0

timbeurskens/gobdd

An ROBDD & CDCL based SAT solver

Language: Go - Size: 359 KB - Last synced: 11 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

sgomber/CDCL-SAT

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

Language: Jupyter Notebook - Size: 13.9 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 8 - Forks: 3

solhop/rsat 📦

SAT Solver

Language: Rust - Size: 180 KB - Last synced: 11 days ago - Pushed: almost 3 years ago - Stars: 3 - Forks: 0

Kienyew/CDCL-SAT-Solver-from-Scratch

CDCL SAT Solver from Scratch in Python

Language: Python - Size: 1.94 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

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 - Size: 1.09 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 14 - Forks: 3

jyuv/DPLLT

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

Language: Python - Size: 241 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

jiriklepl/SAT-SMT-solvers

Language: C++ - Size: 4.73 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

msoos/sat_competition_2014_sources

SAT Competition 2014 Source Archives

Size: 55 MB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 2 - Forks: 1

msoos/sat_competition_2013_sources

SAT Competition 2013 Source Archives

Size: 40.5 MB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 4 - Forks: 1

private-yusuke/sat-d

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

Language: D - Size: 1.17 MB - Last synced: over 1 year ago - Pushed: over 2 years ago - Stars: 8 - Forks: 0

nitinkedia7/satispy

Super efficient SAT solver in 500 lines of code

Language: Jupyter Notebook - Size: 11.1 MB - Last synced: 10 months ago - Pushed: almost 4 years ago - Stars: 2 - Forks: 0

nguermond/cdcl

An ocaml implementation of the CDCL algorithm.

Language: OCaml - Size: 195 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

NicolaDes/SATIVA

SAT solver using CDCL procedure and watched literals, VSIDS herustics.

Language: C++ - Size: 759 KB - Last synced: 7 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0