CreuSAT - A formally verified SAT solver written in Rust and verified wi...
Python code snippets from Discrete Mathematics for Computer Science spec...
:package: :whale: 0-dependency Container-based Package Manager using SAT...
a Pythonic toolkit for working with Boolean expressions
A fast Sudoku solver and generator with a benchmark suite for comparing ...
Projeto ACBr - O branch master é um repositório espelho do SVN original ...
SAT solver written in Go (golang).
PHP Common utilities for Mexican CFDI 3.2, 3.3 & 4.0
Librería para usar el servicio web del SAT de Descarga Masiva
Workbench for FreeCAD to loads or import Autodesk (R) Inventor (R) files.
MonoSAT - An SMT solver for Monotonic Theories
Conjure: The Automated Constraint Modelling Tool
Approximate Model Counter
Biblioteca para realizar impressões (impressora não fiscal) utilizando c...
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)