|
C# |
9 |
DPLL boolean satisfiability solver for .NET |
Mar 31, 2023 |
|
Python |
11 |
Sudoku solver based on SAT (Boolean Satisfiability) in python |
Aug 19, 2022 |
|
Python |
2 |
Middle school science fair project: Boolean satisfiability solver applied to Sudoku puzzles. |
Jun 18, 2020 |
|
JavaScript |
5 |
:satisfied: Boolean formula satisfiability algorithms for JavaScript |
Mar 06, 2022 |
|
Python |
29 |
Learning local search heuristics for Boolean satisfiability |
Sep 30, 2022 |
|
C++ |
3 |
Satisfiability solver for PB-XOR formulas |
Mar 23, 2022 |
|
SMT |
16 |
A Fast Floating-Point Satisfiability Solver |
Feb 27, 2023 |
|
HTML |
5 |
Dagster - Parallel Structured Search for Boolean Satisfiability (SAT) problems |
Dec 16, 2022 |
|
JavaScript |
5 |
type signature satisfiability solver under function composition |
Jun 14, 2021 |
|
Rust |
3 |
A debuggable automatic theorem prover for boolean satisfiability problems (SAT). |
Nov 09, 2021 |
|
C |
15 |
Go (golang) bindings for Picosat, the satisfiability solver |
Sep 07, 2021 |
|
JavaScript |
3 |
Pseudo-boolean solver using MiniSat+ |
Nov 22, 2021 |
|
F# |
16 |
A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework. |
Oct 19, 2021 |
|
Python |
2 |
Genetic algorithm to solve the boolean satisfiability problem on GPU using CuPy |
Nov 21, 2022 |
|
Python |
2 |
Demonstration version of BDD-based solver for quantified Boolean formulas (QBF) |
Dec 23, 2023 |
|
Python |
383 |
Bridging deep learning and logical reasoning using a differentiable satisfiability solver. |
Apr 14, 2023 |
|
Python |
2 |
Bridging deep learning and logical reasoning using a differentiable satisfiability solver. |
Feb 07, 2023 |
|
Go |
45 |
Brenda is a boolean expression solver for Go AST |
Apr 26, 2022 |
|
C++ |
3 |
🧮 A simplistic simplex solver for checking satisfiability of a set of equations. |
May 01, 2023 |
|
C |
2 |
The Satisfiability Museum |
Nov 04, 2019 |
|
Python |
2 |
Interactive web-based visualization of solver performance data. |
Jan 27, 2023 |
|
VimL |
3 |
Boolean-logic patterns, based on LogiPat |
May 10, 2019 |
|
JavaScript |
21 |
Web Wordle solver |
Jul 14, 2022 |
|
Java |
6 |
A SAT-solver based Sudoku puzzle solver. |
Mar 05, 2022 |
|
None |
4 |
Finally, a web-scale boolean-switching service. |
Oct 15, 2021 |
|
C++ |
17 |
A web-based sudoku solver powered by OpenCV and Go |
May 19, 2021 |
|
Kotlin |
4 |
Json Based Boolean expression evaluator in Java |
Apr 03, 2023 |
|
Python |
4 |
a tiny boolean algebra expressions parser and solver (sometimes it can even simplify expressions) |
Mar 09, 2022 |
|
C++ |
12 |
BLACK (Bounded Lᴛʟ sAtisfiability ChecKer) |
Mar 27, 2023 |
|
PHP |
4495 |
SQLI labs to test error based, Blind boolean based, Time based. |
May 05, 2023 |
|
PHP |
2 |
SQLI labs to test error based, Blind boolean based, Time based. |
Nov 25, 2023 |
|
C++ |
4 |
SAT-based sudoku solver |
May 05, 2021 |
|
Python |
3 |
GA-based Sudoku Solver |
Aug 31, 2022 |
|
F# |
3 |
CPU-based combination solver |
Apr 06, 2017 |
|
D |
14 |
OCR based equation solver |
Feb 16, 2023 |
|
C |
5 |
BDD based DQBF solver |
Jan 08, 2023 |
|
Ruby |
6 |
Easy CTF web problem solver |
Feb 05, 2023 |
|
TypeScript |
36 |
boolean converts lots of things to boolean. |
Mar 09, 2023 |
|
JavaScript |
14 |
Web application for parsing and evaluating boolean algebra expressions. |
Apr 27, 2023 |
|
Perl |
2 |
Minesweeper Solver. Perl + VNC based. |
Apr 24, 2015 |
|
C++ |
42 |
AMReX-based structured wind solver |
Jun 17, 2022 |
|
Python |
70 |
MIQP solver based on OSQP |
Jun 30, 2022 |
|
Svelte |
2 |
Matrix based linear equation solver |
Jul 02, 2022 |
|
Haskell |
4 |
Learning based Rubik's cube solver |
Sep 29, 2019 |
|
Python |
8 |
FOND solver based on SAT |
May 05, 2022 |
|
Java |
2 |
Search-based OCL constraint solver |
May 15, 2019 |
|
Java |
2 |
Creating and analyzing interaction graphs based on boolean functions |
Nov 02, 2020 |
|
C++ |
2 |
Boolean Algebra |
Apr 16, 2022 |
|
Java |
3 |
Boolean width |
Mar 05, 2018 |
|
JavaScript |
4 |
parse boolean |
Jul 06, 2020 |