SAT Packages

collision detection for circles, polygons, and points — fork of github.com/Sinova/Collisions

rope-hollow-web3-garage

This is a simple SAT solver with a string based interface, built for easy access. It tries to parse many different commenly used syntaxes into a AST and then solves the problem, returning one or all solutions. You may also only use the AST and provide a s

Addon para comunicar com dll do sat cfe

A Grid Logic Puzzle Solver library, using Typescript and z3.

Librería de elementos y/o estructuras de datos que componen un cfdi

Librería para convertir archivos CFDI a JSON

Librería para crear un pdf basado en un XML CFDI o Retenciones

Librería para contener las validaciones que aplican a un cfdi

Core of CfdiUtils

Librería para usar eFirma (fiel) y CSD (sellos) para el SAT

Obtiene la constancia fiscal actual de una persona moral o física

Consulta el estado de un cfdi en el webservice del SAT

Micro Catálogos CFDI del SAT

Librería para realizar el proceso de autentificación en varios sitios del SAT

Librería para usar el servicio web del SAT de Descarga Masiva

A simple wrapper from phpcfdi/resources-sat-catalogs for adonisjs

Librería para validaciones de XML con Esquemas XSD

Validador de certificados SSL con verificación OCSP externa

Libreria para crear y sellar xml cfdi V4.0