|
Rust |
3 |
SAT solving with Rust |
Nov 30, 2020 |
|
Python |
4 |
SAT solver |
Aug 15, 2022 |
|
Python |
3 |
An educational purposes repository with algorithms for solving SAT problems with Groebner Bases. |
Jan 09, 2022 |
|
Python |
3 |
Solving Nonograms with SAT solvers |
Apr 18, 2023 |
|
C++ |
2 |
CaDiCaL SAT Solver |
Jan 06, 2023 |
|
C++ |
8 |
Riss SAT Solver |
Jan 10, 2023 |
|
C++ |
216 |
CaDiCaL SAT Solver |
Apr 28, 2023 |
|
C |
80 |
Lingeling SAT Solver |
Apr 30, 2023 |
|
C |
77 |
SAT Solver SATCH |
Mar 31, 2023 |
|
C++ |
2 |
Simple SAT solver |
Nov 04, 2020 |
|
OCaml |
2 |
A SAT solver |
Nov 03, 2018 |
|
Haskell |
4 |
A SAT Solver |
May 02, 2022 |
|
Rust |
2 |
Solving Sudoku variants with SAT solvers |
May 01, 2024 |
|
None |
2 |
SAT and SMT solving. |
Dec 27, 2023 |
|
C++ |
4 |
SAT-based sudoku solver |
May 05, 2021 |
|
Go |
136 |
A fast SAT solver |
Jun 10, 2022 |
|
C++ |
703 |
An advanced SAT solver |
May 03, 2023 |
|
C |
3 |
lingeling-ala SAT solver |
Jul 09, 2020 |
|
Prolog |
15 |
SAT solver for education |
Feb 26, 2023 |
|
Rust |
8 |
Daniel's Rusty SAT solver |
Nov 03, 2022 |
|
Java |
6 |
A SAT-solver based Sudoku puzzle solver. |
Mar 05, 2022 |
|
JavaScript |
3 |
A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/) |
Jun 16, 2020 |
|
Scala |
48 |
Probabilistic Answer Set and SAT solver based on Differentiable Satisfiability :::::: Use cases, e.g., Probabilistic … |
May 27, 2023 |
|
C++ |
5 |
A LSIDS-Power SAT solver |
Feb 26, 2022 |
|
Ruby |
7 |
A pure Ruby SAT solver |
Oct 11, 2017 |
|
C |
2 |
PicoSAT SAT Solver Python Wrapper |
Oct 19, 2021 |
|
Haskell |
3 |
Toy level SAT solver example |
Apr 12, 2021 |
|
Kotlin |
8 |
Pure Kotlin CDCL SAT solver |
Jan 22, 2023 |
|
Rust |
8 |
A sat solver in rust |
Dec 10, 2022 |
|
Python |
8 |
FOND solver based on SAT |
May 05, 2022 |
|
Haskell |
3 |
SAT Solver written in Haskell |
Nov 02, 2022 |
|
Rust |
5 |
a toy Rust SAT solver |
Nov 09, 2022 |
|
OCaml |
91 |
A modular sat/smt solver with proof output. |
Oct 23, 2022 |
|
Perl |
2 |
A switchable Pure Perl SAT solver with backtracking |
Oct 27, 2021 |
|
Python |
11 |
Simple SAT solver with CDCL implemented in Python |
Mar 06, 2023 |
|
TypeScript |
2 |
Project Euler Solver is a demonstration of solving Project Euler problems with web technologies |
Jan 16, 2023 |
|
Python |
2 |
🧩⠀solving problems with ingenuity |
Jan 10, 2022 |
|
Python |
3 |
Solving elasticity problems with Fenics |
Dec 17, 2021 |
|
C++ |
22 |
Solving sudoku as a SAT problem |
Aug 31, 2021 |
|
C++ |
3 |
SAT solver based on tableaux method |
Jul 13, 2020 |
|
Haskell |
33 |
A SAT solver written in Haskell. |
Mar 01, 2022 |
|
Go |
127 |
SAT solver written in Go (golang). |
May 12, 2022 |
|
Python |
4 |
SAT solver using the DPLL algorithm |
Jan 26, 2023 |
|
Python |
5 |
Proof-generated, BDD-based SAT solver |
Jan 28, 2023 |
|
Roff |
14 |
code for privacy-preserving sat solver |
May 10, 2023 |
|
C++ |
13 |
CTL (Computation Tree Logic) SAT solver |
Aug 16, 2022 |
|
Kotlin |
9 |
🗿 SAT solver wrappers for Kotlin |
Feb 14, 2023 |
|
C++ |
2 |
The Glucose SAT Solver (CMake Edition) |
Oct 18, 2021 |
|
Go |
23 |
A small SAT solver in Go |
Sep 24, 2021 |
|
Python |
9 |
Multiset Constraint Solver for Multi-SAT |
Mar 19, 2021 |