|
C++ |
2 |
Max-SAT frontend for SCIP |
Sep 11, 2018 |
|
C |
9 |
OCaml bindings for glpk |
May 18, 2022 |
|
JavaScript |
86 |
GLPK for browser & node |
Apr 24, 2023 |
|
Julia |
94 |
GLPK wrapper module for Julia |
Aug 09, 2022 |
|
C |
11 |
GLPK, but it's Python. |
Jun 15, 2022 |
|
Haskell |
12 |
Haskell bindings to glpk |
Feb 03, 2021 |
|
Rust |
2 |
Rust bindings for the glpk library. |
May 28, 2020 |
|
C |
16 |
Node js native module for GLPK |
Aug 10, 2022 |
|
C |
15 |
A Matlab MEX Interface for the GLPK library |
Apr 13, 2022 |
|
Haskell |
2 |
Haskell wrapper for GLPK (GNU Linear Programming Kit). |
Jan 04, 2021 |
|
C# |
6 |
GLPK for C# and the Common Language Infrastructure (CLI) |
Jan 03, 2021 |
|
PHP |
7 |
SAT plugin for FacturaScripts |
Mar 05, 2023 |
|
Prolog |
15 |
SAT solver for education |
Feb 26, 2023 |
|
C++ |
2 |
a common C++11 SAT solver interface for different SAT solvers |
Apr 03, 2020 |
|
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 |
|
R |
19 |
Solve Sudokus with R, GLPK, shiny and ompr |
Sep 01, 2021 |
|
Max |
2 |
Max package for granular synthesis with Max |
Jun 09, 2023 |
|
JavaScript |
2 |
SAT Collisions for Phaser3 Sprites |
Aug 30, 2023 |
|
Python |
2 |
изготовление pdf карт из Google sat, Yandex sat, Openstreetmaps |
Sep 23, 2019 |
|
C++ |
2 |
An Easy-to-Use GLPK Interface for General-Dimension Linear Programming. |
Oct 13, 2022 |
|
Haskell |
8 |
Brainfuck 2 SAT |
Jan 28, 2023 |
|
Shell |
2 |
SAT Product Stream |
Feb 15, 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 |
|
Jupyter Notebook |
3 |
SAT and SMT |
Jun 27, 2022 |
|
OCaml |
2 |
A SAT solver |
Nov 03, 2018 |
|
Haskell |
4 |
A SAT Solver |
May 02, 2022 |
|
Max |
17 |
MQTT for Max |
Mar 21, 2023 |
|
Common Lisp |
6 |
Common Lisp interface to GLPK (GNU Linear Programming Kit). This is a fork of Kai … |
May 21, 2020 |
|
Rust |
2 |
A benchmark suit for SAT solvers |
Jan 15, 2023 |
|
Roff |
14 |
code for privacy-preserving sat solver |
May 10, 2023 |
|
Kotlin |
9 |
🗿 SAT solver wrappers for Kotlin |
Feb 14, 2023 |
|
C++ |
5 |
SAT instance generator for SHA-1 |
Dec 11, 2021 |
|
Python |
16 |
Library for creation of SAT instances. |
Sep 13, 2022 |
|
C++ |
10 |
SAT-based generator for Alcazar puzzles |
Jan 16, 2023 |
|
Python |
9 |
Multiset Constraint Solver for Multi-SAT |
Mar 19, 2021 |
|
Rust |
2 |
🏔 SAT solver wrappers for Rust |
Oct 24, 2023 |
|
JavaScript |
8 |
Control MAX! devices via MAX! Cube |
Jun 27, 2022 |
|
C++ |
4 |
SAT-based sudoku solver |
May 05, 2021 |
|
Rust |
3 |
SAT solving with Rust |
Nov 30, 2020 |
|
None |
23 |
Catálogos CFDI del SAT |
Aug 19, 2022 |
|
Go |
136 |
A fast SAT solver |
Jun 10, 2022 |
|
Haskell |
5 |
SAT tutorial exercise code |
Dec 05, 2019 |
|
None |
3 |
default SAT Channel Settings |
May 07, 2018 |