logic-solver60.5kMIT2.0.1General satisfiability solver for logic problems
meteorabout 3 years agosat, solver, logic, constraint sat55.7kMIT0.9.0
Library for performing 2D collision detection
jrieckenabout 3 years agocollision detection, sat, game facturapi6kMIT4.9.1
Librería oficial de Facturapi. Crea CFDIs timbrados y enviados al SAT, XML y PDF
facturapi14 days agocfdi, factura, sat, facturación espresso-iisojs4kMIT1.0.8
Implementation of Espresso-II method for heuristic minimization of single output boolean functions
genieacsover 1 year agologic, sat fmtbtc2.3kMIT0.0.3Format and convert bitcoin's display units: msat, sat, bit, milli and btc
shesekover 3 years agobitcoin, bitcoin units, msat, msatoshi