|
|
Jupyter Notebook |
3 |
SAT and SMT |
Jun 27, 2022 |
|
|
Haskell |
5 |
SATyros, small SAT/SMT sovler library for step-by-step solving |
Nov 19, 2022 |
|
|
Kotlin |
439 |
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking) |
Sep 11, 2022 |
|
|
OCaml |
138 |
Communication between Coq and SAT/SMT solvers |
May 19, 2023 |
|
|
Mathematica |
2 |
"SAT/SMT by example" free ebook |
Jun 18, 2022 |
|
|
Rust |
3 |
SAT solving with Rust |
Nov 30, 2020 |
|
|
Julia |
3 |
Nonlinear SMT solving using dReal |
Feb 03, 2022 |
|
|
Python |
3 |
Very Large Scale Integration solutions using CP, SAT and SMT. |
Jan 05, 2022 |
|
|
OCaml |
91 |
A modular sat/smt solver with proof output. |
Oct 23, 2022 |
|
|
Python |
3 |
Solving Nonograms with SAT solvers |
Apr 18, 2023 |
|
|
Scheme |
13 |
miniKanren for search, SMT for solving |
Jul 22, 2021 |
|
|
Rust |
3 |
Efficient and customizable CNF parser for SAT solving. |
Mar 27, 2022 |
|
|
Python |
503 |
pySMT: A library for SMT formulae manipulation and solving |
Apr 25, 2023 |
|
|
Python |
3 |
pySMT: A library for SMT formulae manipulation and solving |
Apr 20, 2021 |
|
|
C++ |
22 |
Solving sudoku as a SAT problem |
Aug 31, 2021 |
|
|
Rust |
2 |
Solving Sudoku variants with SAT solvers |
May 01, 2024 |
|
|
TeX |
3 |
Solving Yajilin problems with a SAT solver |
Aug 30, 2019 |
|
|
C++ |
21 |
Solving floating point SMT constraints on a GPU |
Jul 24, 2022 |
|
|
C++ |
27 |
A research platform and active library for generalised SAT solving |
Mar 04, 2023 |
|
|
C++ |
2 |
A program allowing to solve SAT problem and a SMT problem using several heuristics. |
Nov 29, 2017 |
|
|
Scala |
48 |
Probabilistic Answer Set and SAT solver based on Differentiable Satisfiability :::::: Use cases, e.g., Probabilistic … |
May 27, 2023 |
|
|
Haskell |
3 |
A simple Sudoku solver that I've done to experiment with SAT/SMT solvers. |
May 17, 2022 |
|
|
Scala |
111 |
DSL in Scala for Constraint Solving with Z3 SMT Solver |
Apr 19, 2023 |
|
|
C++ |
4 |
🕵️ Solving MAPF under map-to-subgraph transformation with SAT and ASP |
Aug 09, 2023 |
|
|
Python |
77 |
An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers. |
Sep 10, 2023 |
|
|
None |
4 |
Conjunctive Query Fun, or "How to use a database for SAT solving" |
Dec 01, 2022 |
|
|
Python |
3 |
An educational purposes repository with algorithms for solving SAT problems with Groebner Bases. |
Jan 09, 2022 |
|
|
C++ |
29 |
configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat … |
Apr 24, 2023 |
|
|
C++ |
23 |
Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud. |
Jul 29, 2022 |
|
|
Ruby |
2 |
SMT webservice |
Aug 13, 2019 |
|
|
Python |
7 |
Prolog + SMT |
Mar 21, 2022 |
|
|
Groovy |
7 |
SMT Pick and Place conversion utility |
May 21, 2023 |
|
|
HTML |
3 |
SMT-Pod Site |
Nov 07, 2022 |
|
|
PHP |
3 |
Aplicação para SMT |
Oct 06, 2022 |
|
|
Shell |
3 |
SAT Documentation |
Feb 15, 2023 |
|
|
Python |
4 |
SAT solver |
Aug 15, 2022 |
|
|
JavaScript |
3 |
A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/) |
Jun 16, 2020 |
|
|
Python |
7 |
An SMT dialect for MLIR, to represent SMTLib programs. And tools to interact with SMT … |
Apr 18, 2023 |
|
|
Common Lisp |
16 |
Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams |
Feb 14, 2023 |
|
|
Python |
2 |
изготовление pdf карт из Google sat, Yandex sat, Openstreetmaps |
Sep 23, 2019 |
|
|
JavaScript |
3 |
Conference website for SMT |
Nov 29, 2021 |
|
|
Java |
53 |
SMTInterpol interpolating SMT solver |
Aug 15, 2022 |
|
|
TypeScript |
5 |
browser compatible SMT implemetation |
Mar 22, 2023 |
|
|
SMT |
320 |
The Yices SMT Solver |
Mar 27, 2023 |
|
|
Scala |
9 |
An approximating SMT solver |
Mar 16, 2023 |
|
|
None |
3 |
SMT solver in Egison |
Sep 18, 2019 |
|
|
Rust |
14 |
Easy SMT solver interaction |
Apr 26, 2023 |
|
|
Haskell |
177 |
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using … |
Aug 20, 2022 |
|
|
OCaml |
18 |
An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the … |
Aug 29, 2022 |
|
|
Java |
1367 |
Open Source SMT Pick and Place Hardware and Software |
Apr 28, 2023 |