sat topic

High-level interfaces over @msoos's CryptoMiniSat.

cipherboy

OCaml bindings for batsat (https://github.com/c-cube/batsat)

c-cube

PHP Common utilities for Mexican CFDI 3.2, 3.3 & 4.0

eclipxe13

Boolean Constraint Solving in Prolog

triska

:collision: Atomic.js | Greatly Simple Physics Engine For Javascript

anuraghazra

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

sarsko

A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.

t-dillon

Enhancing the Factorio experience with SAT solvers

R-O-C-K-E-T

SAT solver written in Go (golang).

mitchellh

Projeto ACBr - O branch master é um repositório espelho do SVN original (svn://svn.code.sf.net/p/acbr/code/trunk2), criado e mantido com git-svn.

frones