17 results found Sort:
- Filter by Primary Language:
- C++ (4)
- Go (3)
- Python (2)
- Rust (2)
- Scala (2)
- SMT (1)
- Haskell (1)
- JavaScript (1)
- OCaml (1)
- +
An advanced SAT solver
Created
2012-03-13
17,041 commits to master branch, last one 2 months ago
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Created
2021-08-24
571 commits to master branch, last one about a year ago
Simple Theorem Prover, an efficient SMT solver for bitvectors
Created
2013-08-27
3,188 commits to master branch, last one 6 months ago
The Yices SMT Solver
Created
2014-11-10
5,272 commits to master branch, last one 3 months ago
gophersat, a SAT solver in Go
Created
2017-09-27
199 commits to master branch, last one about a year ago
a Pythonic toolkit for working with Boolean expressions
Created
2015-12-22
457 commits to develop branch, last one 5 months ago
Access to all MiniZinc functionality directly from Python
Created
2020-07-23
513 commits to develop branch, last one about a month ago
My sandbox for experimenting with solver algorithms.
Created
2011-06-12
3,211 commits to master branch, last one a day ago
A fast SAT solver
Created
2016-07-23
158 commits to master branch, last one 3 years ago
Go (golang) bindings to the Z3 SMT Solver
This repository has been archived
(exclude archived)
Created
2017-03-03
20 commits to master branch, last one 5 years ago
A modular sat/smt solver with proof output.
Created
2014-10-29
736 commits to master branch, last one about a year ago
The glucose SAT solver
Created
2023-05-09
12 commits to main branch, last one 5 months ago
GAPT: General Architecture for Proof Theory
Created
2011-06-29
7,754 commits to master branch, last one about a month 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 2 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 9 months ago
Use MiniZinc in the browser or with NodeJS
Created
2022-11-09
81 commits to develop branch, last one 15 days ago
华中科技大学计算机个人资料合集:课设/实验报告等。tag:数电实验交通灯，C++实验华为，C语言实验，数据结构实验，洛谷算法实验，数据结构课设SAT数独求解器，电路理论，Java，计基实验
Created
2024-11-20
211 commits to main branch, last one 8 days ago