sat

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

Enhancing the Factorio experience with SAT solvers

a Pythonic toolkit for working with Boolean expressions

📦 🐳 0-dependency Container-based Package Manager

SAT solver written in Go (golang).

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

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.

PHP Common utilities for Mexican CFDI 3.2, 3.3 & 4.0

MonoSAT - An SMT solver for Monotonic Theories

Conjure: The Automated Constraint Modelling Tool

Librería para usar el servicio web del SAT de Descarga Masiva

Workbench for FreeCAD to loads or import Autodesk (R) Inventor (R) files.

TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)

Biblioteca para realizar impressões (impressora não fiscal) utilizando comandos Esc/Bema, Esc/Daruma e Esc/Pos 🚀

Approximate Model Counter

Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter

T2Ti ERP 2.0 - Delphi

💥 Atomic.js | Greatly Simple Physics Engine For Javascript

Librería para generar Comprobantes Fiscales (CFDI) para la versión 3.3

2D math / geometry collision library for C#, compatable with monogame.