Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
T2Ti ERP 2.0 - Delphi
:collision: Atomic.js | Greatly Simple Physics Engine For Javascript
2D math / geometry collision library for C#, compatable with monogame.
Librería para generar Comprobantes Fiscales (CFDI) para la versión 3.3
The Standard Interface for Incremental Satisfiability Solving
Model finder for higher-order logic
SAT Heritage: a community-driven effort for archiving, building and runn...
Faithful reimplementation of Minisat 2.2 in OCaml.
A customizable timetabling software for educational institutions that en...
A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
Boolean Constraint Solving in Prolog
Implementations of the Separating axis theorem. Useful for convex collis...