83 packages trouvés en 3ms sat52.4kMIT0.9.0Library for performing 2D collision detection
jrieckenIl y a about 3 yearscollision detection, sat, game logic-solver53.5kMIT2.0.1General satisfiability solver for logic problems
meteorIl y a about 3 yearssat, solver, logic, constraint facturapi6.3kMIT4.8.3Librería oficial de Facturapi. Crea CFDIs timbrados y enviados al SAT, XML y PDF
facturapiIl y a about 1 monthcfdi, factura, sat, facturación espresso-iisojs3.5kMIT1.0.8Implementation of Espresso-II method for heuristic minimization of single output boolean functions
genieacsIl y a over 1 yearlogic, sat