https://github.com/msoos/cryptominisat

An advanced SAT solver

cdcl-algorithm cnf cryptography dpll proof sat-solver verification xor

Last synced: 03 Apr 2026

https://github.com/koukyosyumei/gymbo

gradient-based symbolic execution engine implemented from scratch

debugging dpll dpll-solver gradient-descent neural-network program-analysis smt-solver static-analysis symbolic-execution

Last synced: 09 Oct 2025

https://github.com/nano-byte/sat-solver

DPLL boolean satisfiability solver for .NET

boolean-formulas dotnet dpll sat-solver

Last synced: 26 Feb 2026

https://github.com/nuyoahwjl/hust-sat

华中科技大学数据结构课设--基于SAT的对角线数独求解程序

dpll hust sat sudoku

Last synced: 15 Jun 2025

https://github.com/j-christl/dpllsatsolver

Simple Java implementation of the Davis–Putnam–Logemann–Loveland (DPLL) algorithm

algorithm algorithms discrete-mathematics dpll dpll-algorithm java math mathematics sat-solver

Last synced: 02 Aug 2025

https://github.com/georgejkaye/theorem-prover

A simple theorem prover made for a university programming assignment

clause-normal-form dimacs dpll propositional-logic propositional-resolution reasoning resolution-calculus theorem theorem-prover theorem-proving

Last synced: 12 Apr 2025

https://github.com/jack-q/yasat

Yet Another SAT solver

1uip dpll sat sat-solver

Last synced: 27 Apr 2026

https://github.com/kvignesh1420/ai

Artificial Intelligence

dpll markov-decision-processes search-algorithms

Last synced: 08 Apr 2025

https://github.com/ritu-thombre99/solving-cnf-sat-using-dpll

This program checks if an input CNF is satisfiable or not to check logical entailment.

cnf cnf-clauses dpll dpll-algorithm sat-solver

Last synced: 23 Feb 2025

https://github.com/karipov/sat-solver

Iterative DPLL SAT Solver with occurrence lists, jeroslow-wang heuristic

dpll sat-solver

Last synced: 10 Feb 2026

https://github.com/jiriklepl/sat-smt-solvers

cdcl dpll mff-uk sat sat-solver

Last synced: 06 Jul 2025

https://github.com/ashenoy95/ai

Touching upon Search, Propositional Logic, RL, NLP

adversarial-search ai dpll dpll-algorithm mdp python

Last synced: 24 Feb 2025

https://github.com/dakotawong/native-sat-solver-package

SAT Solver NPM Package written in C++

dpll npm-package sat-solver tseitin-transformation

Last synced: 18 May 2026