sat topic
List
sat repositories
trafficstars
cmsh
6
Stars
0
Forks
Watchers
High-level interfaces over @msoos's CryptoMiniSat.
batsat-ocaml
10
Stars
2
Forks
Watchers
OCaml bindings for batsat (https://github.com/c-cube/batsat)
CfdiUtils
120
Stars
45
Forks
Watchers
PHP Common utilities for Mexican CFDI 3.2, 3.3 & 4.0
clpb
32
Stars
5
Forks
Watchers
Boolean Constraint Solving in Prolog
Atomic.js
52
Stars
8
Forks
Watchers
:collision: Atomic.js | Greatly Simple Physics Engine For Javascript
CreuSAT
591
Stars
10
Forks
Watchers
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
tdoku
179
Stars
23
Forks
Watchers
A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.
Factorio-SAT
605
Stars
15
Forks
Watchers
Enhancing the Factorio experience with SAT solvers