found 86 packages in 26ms
logic-solver77.3kMIT2.0.1General satisfiability solver for logic problems
meteorover 3 years agosat, solver, logic, constraint sat66.8kMIT0.9.0
Library for performing 2D collision detection
jrieckenover 3 years agocollision detection, sat, game facturapi7.5kMIT4.10.0
Librería oficial de Facturapi. Crea CFDIs timbrados y enviados al SAT, XML y PDF
facturapiabout 1 month agocfdi, factura, sat, facturación