Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Sat Open Source Projects

Open source projects categorized as Sat
Categories > Sat
Creusat ⭐ 587
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
most recent commit 3 months ago
Factorio Sat ⭐ 307
Enhancing the Factorio experience with SAT solvers
most recent commit 10 months ago
Luet ⭐ 207
📦 🐳 0-dependency Container-based Package Manager
dependent packages 8total releases 15most recent commit 10 months ago
Tt ⭐ 197
a Pythonic toolkit for working with Boolean expressions
dependent packages 1total releases 10most recent commit 4 years agopypi ttable} Downloads
English Vocabulary ⭐ 170
英文单词，英语单词，英语四六级、考研、SAT单词，txt 文件, json 文件，CET4 CET6，乱序，单词
most recent commit 10 months ago
Tdoku ⭐ 132
A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.
most recent commit a year ago
Cfdiutils ⭐ 113
PHP Common utilities for Mexican CFDI 3.2, 3.3 & 4.0
dependent packages 6total releases 80most recent commit 5 months agopackagist eclipxe/cfdiutils} Downloads
Go Sat ⭐ 110
SAT solver written in Go (golang).
total releases 1most recent commit 7 years ago
Sat Ws Descarga Masiva ⭐ 99
Librería para usar el servicio web del SAT de Descarga Masiva
total releases 21most recent commit 8 months ago
Monosat ⭐ 95
MonoSAT - An SMT solver for Monotonic Theories
total releases 2most recent commit a year ago
Conjure ⭐ 89
Conjure: The Automated Constraint Modelling Tool
most recent commit 6 months ago
Inventorloader ⭐ 78
Workbench for FreeCAD to loads or import Autodesk (R) Inventor (R) files.
most recent commit a year ago
Approxmc ⭐ 59
Approximate Model Counter
dependent packages 1total releases 20most recent commit 6 months agopypi pyapproxmc} Downloads
Touist ⭐ 56
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
most recent commit 3 years ago
Bosphorus ⭐ 56
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
most recent commit a year ago
Vip.printer ⭐ 51
Biblioteca para realizar impressões (impressora não fiscal) utilizando comandos Esc/Bema, Esc/Daruma e Esc/Pos 🚀
dependent packages 1total releases 22most recent commit 2 years agonuget Vip.Printer} Downloads
Escpos ⭐ 49
A ESC/POS Printer Commands Helper
total releases 11most recent commit 5 months ago
Sharpmath2 ⭐ 44
2D math / geometry collision library for C#, compatable with monogame.
most recent commit 3 years ago
Nunchaku ⭐ 41
Model finder for higher-order logic
most recent commit 7 months ago
Docker Images ⭐ 36
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
total releases 17most recent commit 2 years ago
Cfdi ⭐ 35
Librería para generar Comprobantes Fiscales (CFDI) para la versión 3.3
most recent commit 6 years ago
Screwsat ⭐ 33
A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
total releases 18most recent commit a year ago
Atomic.js ⭐ 32
💥 Atomic.js | Greatly Simple Physics Engine For Javascript
most recent commit 2 years ago
The 9 Most Depended On Sat Open Source Projects
Luet ⭐ 207
:package: :whale: 0-dependency Container-based Package Manager
dependent packages 8total releases 15latest release April 24, 2021most recent commit 10 months ago
Cfdiutils ⭐ 113
PHP Common utilities for Mexican CFDI 3.2, 3.3 & 4.0
dependent packages 6total releases 80latest release July 15, 2023most recent commit 5 months agopackagist eclipxe/cfdiutils} Downloads
Cfdi ⭐ 21
For CFDI 4.0 XML https://cfdi.recreando.dev/
dependent packages 6total releases 22latest release March 03, 2023most recent commit 7 months agonpm @signati/core} Downloads
Cfdi To Json ⭐ 6
Librería para convertir XMLs de CFDI a JSON
dependent packages 2total releases 38latest release December 06, 2022most recent commit 3 years agonpm cfdi-to-json} Downloads
Tt ⭐ 197
a Pythonic toolkit for working with Boolean expressions
dependent packages 1total releases 10latest release May 11, 2020most recent commit 4 years agopypi ttable} Downloads
Approxmc ⭐ 59
Approximate Model Counter
dependent packages 1total releases 20latest release October 21, 2023most recent commit 6 months agopypi pyapproxmc} Downloads
Cfdi Xslt ⭐ 10
Librería para descargar los XSLT de la Cadena Original del Servicio de Administración Tributaria (SAT)
dependent packages 1total releases 1latest release February 09, 2018most recent commit 5 years agopackagist kinedu/cfdi-xslt} Downloads
Vip.printer ⭐ 51
Biblioteca para realizar impressões (impressora não fiscal) utilizando comandos Esc/Bema, Esc/Daruma e Esc/Pos :rocket:
dependent packages 1total releases 22latest release June 30, 2022most recent commit 2 years agonuget Vip.Printer} Downloads
The 10 Latest Releases In Sat Open Source Projects
Cfdi Cleaner ⭐ 12
Herramienta para limpiar Comprobantes Fiscales Digitales 3.2, 3.3 y 4.0
total releases 14latest release October 22, 2023most recent commit 5 months ago
Approxmc ⭐ 59
Approximate Model Counter
dependent packages 1total releases 20latest release October 21, 2023most recent commit 6 months agopypi pyapproxmc} Downloads
Cqsat ⭐ 26
业余无线电助手，基于Nonebot2
total releases 22latest release October 10, 2023most recent commit 7 months ago
Cfdiutils ⭐ 113
PHP Common utilities for Mexican CFDI 3.2, 3.3 & 4.0
dependent packages 6total releases 80latest release July 15, 2023most recent commit 5 months agopackagist eclipxe/cfdiutils} Downloads
Cfdi ⭐ 35
Librería para generar Comprobantes Fiscales (CFDI) para la versión 3.3
latest release July 09, 2023most recent commit 6 years ago
Cfdi ⭐ 21
For CFDI 4.0 XML https://cfdi.recreando.dev/
dependent packages 6total releases 22latest release March 03, 2023most recent commit 7 months agonpm @signati/core} Downloads
Cfdi To Json ⭐ 6
Librería para convertir XMLs de CFDI a JSON
dependent packages 2total releases 38latest release December 06, 2022most recent commit 3 years agonpm cfdi-to-json} Downloads
Escpos ⭐ 49
A ESC/POS Printer Commands Helper
total releases 11latest release November 24, 2022most recent commit 5 months ago
Monosat ⭐ 95
MonoSAT - An SMT solver for Monotonic Theories
total releases 2latest release October 31, 2022most recent commit a year ago
Sat Ws Descarga Masiva ⭐ 99
Librería para usar el servicio web del SAT de Descarga Masiva
total releases 21latest release September 30, 2022most recent commit 8 months ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.