All Categories → No Category → sat

Top 12 sat open source projects

SharpMath2

2D math / geometry collision library for C#, compatable with monogame.

✭ 36

C#library math geometry collision polygon mtv sat 2d math2d minimumtranslationvector

slime-sat-solver

A Free World Class High Performance SAT Solver

✭ 15

javascript C++HTML CSS Makefile c cnf sat-solver sat satisfiability cnf-clauses cnf-encoding

archsat

A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.

✭ 20

ocaml TeX OpenEdge ABL SMT Makefile emacs lisp theorem-proving polymorphism smt sat rewriting formal-proofs

sat-ws-descarga-masiva

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

✭ 65

PHP cfdi sat descargamasivasat

Vip.Printer

Biblioteca para realizar impressões (impressora não fiscal) utilizando comandos Esc/Bema, Esc/Daruma e Esc/Pos 🚀

✭ 48

C#printer escpos nfce sat epson escpos-printer cfe elgin escbema bematech impressora termica

phaser-sat-example

An experiment that uses sat-js with Phaser.

✭ 14

javascript HTML demo phaser example separating-axis-theorem sat

discrete-math-python-scripts

Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera

✭ 98

Jupyter Notebook snippets algorithms logic probability mathematics coursera recursion discrete-mathematics recursive combinatorics ilp invariants bayes sat-solver proofs induction sat ilp-solver

bosphorus

Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter

✭ 45

C++CMake python shell cnf cryptoanalysis sat dimacs anf anf-simplifications

nunchaku

Model finder for higher-order logic

✭ 40

ocaml Makefile logic sat model-finding cvc4 higher-order hol

CfdiUtils

PHP Common utilities for Mexican CFDI 3.2, 3.3 & 4.0

✭ 97

PHP mexico hacktoberfest cfdi sat

ESCPOS

A ESC/POS Printer Commands Helper

✭ 26

C#printer qrcode barcode escpos receipt pos esc esc-pos hacktoberfest sat cfe

conjure

Conjure: The Automated Constraint Modelling Tool

✭ 84

haskell shell Makefile Vim Script Dockerfile ruby constraints constraint-programming modelling sat combinatorial-optimization

1-12 of 12 sat projects