8 results found Sort:
- Filter by Primary Language:
- C++ (2)
- Rust (2)
- Python (1)
- Scala (1)
- SMT (1)
- Verilog (1)
- +
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Created
2021-08-24
571 commits to master branch, last one 9 months ago
The Yices SMT Solver
Created
2014-11-10
5,272 commits to master branch, last one 19 days ago
a Pythonic toolkit for working with Boolean expressions
Created
2015-12-22
457 commits to develop branch, last one 2 months ago
Tools for working with circuits as graphs in python
Created
2020-07-12
253 commits to main branch, last one about a year ago
The glucose SAT solver
Created
2023-05-09
12 commits to main branch, last one 2 months ago
A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
Created
2018-08-24
94 commits to main branch, last one 6 days ago
Approximate Model Counter
Created
2018-11-11
709 commits to master branch, last one 6 months ago
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
psat
dimacs-cnf
sat-solver
probability
optimization
probabilistic
satisfiability
logic-programming
probabilistic-asp
weighted-sat-solving
answer-set-programming
constraint-programming
artificial-intelligence
multi-models-optimization
probabilistic-programming
differentiable-programming
probabilistic-satisfiability
differentiable-satisfiability
Created
2018-10-25
291 commits to master branch, last one 7 months ago