logic-solver
General satisfiability solver for logic problems
sat
Library for performing 2D collision detection
facturapi
Librería oficial de Facturapi. Crea CFDIs timbrados y enviados al SAT, XML y PDF
espresso-iisojs
Implementation of Espresso-II method for heuristic minimization of single output boolean functions