An advanced SAT solver
-
Updated
Jan 4, 2021 - C++
#
sat-solver
Here are 278 public repositories matching this topic...
Simple Theorem Prover, an efficient SMT solver for bitvectors
-
Updated
Jan 5, 2021 - C++
gophersat, a SAT solver in Go
constraint-satisfaction-problem
artificial-intelligence
constraints
boolean-formulas
sat-solver
pseudo-boolean-solver
-
Updated
Nov 23, 2020 - Go
The Yices SMT Solver
-
Updated
Jan 22, 2021 - SMT
a Pythonic toolkit for working with Boolean expressions
python
transformations
boolean
boolean-expression
sat-solver
boolean-algebra
truth-table
sat
satisfiability
-
Updated
May 11, 2020 - Python
My sandbox for experimenting with solver algorithms.
-
Updated
Jan 25, 2021 - Haskell
A fast SAT solver
testing
resolution
verification
artificial-intelligence
fuzzing
concurrent
logic-programming
dependencies
boolean-formulas
sat-solver
logic-circuit
circuit-sat
-
Updated
Jan 31, 2019 - Go
A modular sat/smt solver with proof output.
-
Updated
Dec 23, 2020 - OCaml
GAPT: General Architecture for Proof Theory
-
Updated
Jan 22, 2021 - Scala
Experimental minisat SAT solver reimplementation in Rust
-
Updated
Aug 10, 2019 - Rust
A Header-Only CDCL SAT Solver for Programming Contest
-
Updated
Oct 2, 2019 - C++
Access to all MiniZinc functionality directly from Python
python
linear-programming
constraint-programming
sat-solver
minizinc
integer-programming
optimisation-problem
-
Updated
Dec 9, 2020 - Python
SAT and Answer Set solver for probability distribution-aware model sampling and multi-models optimization using Differentiable Satisfiability. ### Use cases, e.g., probabilistic SAT solving and probabilistic Answer Set Programming.
optimization
artificial-intelligence
constraint-programming
probabilistic-programming
logic-programming
sat-solver
answer-set-programming
satisfiability
differentiable-programming
psat
differentiable-satisfiability
dimacs-cnf
probabilistic-asp
probabilistic-satisfiability
multi-models-optimization
-
Updated
Jan 19, 2021 - Scala
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
cpp
constraint-satisfaction-problem
timetable
sat-solver
timetable-builder
timetable-generator
sat
satisfiability
custom-constraints
maxsat
timetabler
iit-hyderabad
iith
maxsat-solver
open-wbo
-
Updated
Sep 29, 2019 - C++
An extensible, lightweight relational/logic programming DSL written in pure Python
minikanren
logic-programming
sat-solver
symbolic-computation
clp
relational-programming
constraint-logic-programming
-
Updated
Jan 8, 2021 - Python
A (parametrized) Rust SAT solver originally based on MiniSat
-
Updated
Jan 12, 2021 - Rust
A simple SAT solver that implements the DPLL algorithm with unit resolution
-
Updated
Sep 10, 2019 - C++
Problem solving à la carte
-
Updated
Dec 2, 2017 - Scala
Haskell bindings for PicoSAT solver
-
Updated
May 6, 2020 - C
An ocaml implementation of conflict-driven reasoning
-
Updated
Jul 13, 2018 - OCaml
A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
-
Updated
Jan 25, 2021 - Rust
Logic Programming in Python
computer-algebra
minikanren
logic-programming
sat-solver
unification
relational-reasoning
relational-programming
-
Updated
Jan 8, 2021 - Python
Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
coq
ideas
startup
z3
formal-methods
sat-solver
entrepreneurship
software-verification
smt-solver
research-paper
formal-verification
quantum-programming-language
research-data
research-software-engineering
programming-language-theory
ideasworthsharing
-
Updated
Aug 17, 2019
Symbolic logic expressions
-
Updated
Jul 1, 2020 - Haskell
A Free World Class High Performance SAT Solver
-
Updated
Nov 30, 2020 - JavaScript
A fast and certifying solver for quantified Boolean formulas.
-
Updated
Oct 6, 2020 - C
Improve this page
Add a description, image, and links to the sat-solver topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the sat-solver topic, visit your repo's landing page and select "manage topics."