SAT

General satisfiability solver for logic problems

sat solver logic constraint

2.0.1 • Published 9 years ago

Library for performing 2D collision detection

collision detection sat game

0.9.0 • Published 4 years ago

Librería oficial de Facturapi. Crea CFDIs timbrados y enviados al SAT, XML y PDF

cfdi factura sat facturación facturapi

4.6.0 • Published 7 months ago

Implementation of Espresso-II method for heuristic minimization of single output boolean functions

logic sat

1.0.8 • Published 2 years ago

converts [H,S,L] to [R,G,B]

hsl rgb hue sat saturation lightness light brightness hsb rgba

1.0.2 • Published 10 years ago

converts [R,G,B] to [H,S,L]

hsl rgb hue sat saturation lightness light brightness hsb rgba

1.0.1 • Published 10 years ago

A 2D collision checker for modern JavaScript games.

2d game collision collider polygon circle esm module sat

1.1.1 • Published 5 years ago

HSL to RGB color conversion in GLSL

glsl blend mode rgb hsl hue saturation sat light lightness

1.1.0 • Published 10 years ago

Validador de certificados SSL con verificación OCSP externa

firma electrónica ssl fiel ocsp sat pki

1.0.14 • Published 5 years ago

Format and convert bitcoin's display units: msat, sat, bit, milli and btc

bitcoin bitcoin units msat msatoshi sat satoshi bit bits milli millis

0.0.3 • Published 8 years ago

Implementation of Espresso-II method for heuristic minimization of single output boolean functions

logic sat

1.0.2 • Published 5 years ago

Modulo para generar, firmar, sellar, timbrar y cancelar comprobantes fiscales digitales en Mexico (CFDI 4.0)

cfdi sat 4.0 factura mexico pdf virtualxml comprobante fiscal complemento

1.4.0 • Published 1 year ago

Libreria para crear y sellar xml cfdi V3.3

cfdi sat 3.3 factura mexico pdf

3.3.26 • Published 8 years ago

The default blueprint for ember-cli addons.

sat sat-addon sat-ember sat-button-cli ember-addon

15.4.18 • Published 8 years ago

natlib is a highly composable library for small games.

astar dda floodfill priorityqueue sat verlet

0.1.15 • Published 2 years ago

Descargar xml del sat

sat cfdi nodejs javascript descargar facturas

1.1.0 • Published 7 years ago

Libreria para crear y sellar xml cfdi V3.3

cfdi sat 3.3 factura mexico pdf

3.3.26 • Published 6 years ago

Contruye la información de datos fiscales a declarar por periodo ante el SAT

sat tax iva méxico cfdi parser

0.0.2 • Published 9 years ago

Propositional proof system

sat propositional-proof-system

3.1.0 • Published 8 years ago

Descargar xml del sat

sat cfdi nodejs javascript descargar facturas xml

0.0.0 • Published 7 years ago

1 23 4

SAT Packages

logic-solver

facturapi

espresso-iisojs

float-hsl2rgb

float-rgb2hsl

collider2d

glsl-hsl2rgb

@gobmx-sfp/firmafiel

fmtbtc

yebool

virtualxml-cfdi

cfdi

sat-button

natlib

satdwnld

cfdinative

mxtaxparser

pps2

cfdi-api