Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for sat
sat
x
74 search results found
Creusat
⭐
582
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Factorio Sat
⭐
307
Enhancing the Factorio experience with SAT solvers
Luet
⭐
207
📦 🐳 0-dependency Container-based Package Manager
Tt
⭐
197
a Pythonic toolkit for working with Boolean expressions
English Vocabulary
⭐
170
英文单词,英语单词,英语四六级、考研、SAT单词,txt 文件, json 文件,CET4 CET6,乱序,单词
Tdoku
⭐
132
A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.
Cfdiutils
⭐
113
PHP Common utilities for Mexican CFDI 3.2, 3.3 & 4.0
Go Sat
⭐
110
SAT solver written in Go (golang).
Sat Ws Descarga Masiva
⭐
99
Librería para usar el servicio web del SAT de Descarga Masiva
Monosat
⭐
95
MonoSAT - An SMT solver for Monotonic Theories
Conjure
⭐
89
Conjure: The Automated Constraint Modelling Tool
Inventorloader
⭐
78
Workbench for FreeCAD to loads or import Autodesk (R) Inventor (R) files.
Approxmc
⭐
59
Approximate Model Counter
Touist
⭐
56
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
Bosphorus
⭐
56
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
Vip.printer
⭐
51
Biblioteca para realizar impressões (impressora não fiscal) utilizando comandos Esc/Bema, Esc/Daruma e Esc/Pos 🚀
Escpos
⭐
49
A ESC/POS Printer Commands Helper
Sharpmath2
⭐
44
2D math / geometry collision library for C#, compatable with monogame.
Nunchaku
⭐
41
Model finder for higher-order logic
Docker Images
⭐
36
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
Cfdi
⭐
35
Librería para generar Comprobantes Fiscales (CFDI) para la versión 3.3
Screwsat
⭐
33
A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
Atomic.js
⭐
32
💥 Atomic.js | Greatly Simple Physics Engine For Javascript
Clpb
⭐
31
Boolean Constraint Solving in Prolog
Ipasir
⭐
28
The Standard Interface for Incremental Satisfiability Solving
T2tierp 2 Delphi
⭐
26
T2Ti ERP 2.0 - Delphi
Smpt
⭐
26
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
Cqsat
⭐
26
业余无线电助手,基于Nonebot2
Qo100_transceiver
⭐
25
QO-100 Software Transceiver using an Adalm-Pluto and an SBC (Raspberry, Odroid ...)
Archsat
⭐
24
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
Python Satcfdi
⭐
23
The best open-source python library to generate and process SAT's CFDI
Cfdi
⭐
21
For CFDI 4.0 XML https://cfdi.recreando.dev/
Smbc
⭐
21
Experimental model finder/SMT solver for functional programming.
Cgen
⭐
21
CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi output format.
Timetabler
⭐
20
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
Sat Catalogos
⭐
18
Catálogos de SAT para CFDI 3.3, CFDI 4.0 y Nómina 1.2 (spanish)
Cfdi Xml
⭐
17
Librería para generar la estructura XML de los Comprobantes Fiscales (CFDI)
Credentials
⭐
15
Esta librería es una de varias que existen dentro de dotnetcfdi, fue creada para trabajar con los archivos CSD y FIEL del SAT de manera sencilla en .NET
Phaser Sat Example
⭐
14
An experiment that uses sat-js with Phaser.
Saturne
⭐
14
Tiny verified SAT-solver
Slime Sat Solver
⭐
13
A Free World Class High Performance SAT Solver
Cfdi Cleaner
⭐
12
Herramienta para limpiar Comprobantes Fiscales Digitales 3.2, 3.3 y 4.0
Backtrack Rs
⭐
12
Solve hard constraints easily with Rust.
Paracooba
⭐
12
Distributed and ressource elastic cube-and-conquer SAT & QBF solver
Lightning Address Nodejs
⭐
11
Simple server for your personal Lightning Address
Cfdi Certificate
⭐
11
Librería para decodificar los Certificados de Sello Digital (CSD) del Servicio de Administración Tributaria (SAT)
Cfdi Pac
⭐
11
Librería para timbrar un CFDI con algún Proveedor Autorizado de Certificación (PAC)
Cfdi Xslt
⭐
10
Librería para descargar los XSLT de la Cadena Original del Servicio de Administración Tributaria (SAT)
Modulus
⭐
10
A constraint solver built from scratch in OCaml
Hash_framework
⭐
10
Framework for studying cryptographic hash functions using SAT.
Autoguess
⭐
10
An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges
Dimacs Parser
⭐
8
Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.
Verifactory
⭐
8
A verifier for Factorio blueprints, enabling one to automatically check logical properties
Boomerang
⭐
8
A New Method to Search for Boomerang Distinguishers: Improved Rectangle Attacks on SKINNY and CRAFT
Drsat
⭐
8
Daniel's Rusty SAT solver
Sat Cf E Delphi
⭐
8
SAT-CF-e - Delphi
Kotlin Satlib
⭐
8
🗿 SAT solver wrappers for Kotlin
Jamsat
⭐
7
A fast, clean IPASIR SAT solver
Servicios
⭐
7
SAT plugin for FacturaScripts
Sat Cf E Csharp
⭐
7
SAT-CF-e - C#
Satpie
⭐
7
SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay
Hustprogramdesign
⭐
7
Program Design affiliated to General Course Design of CSE College, HUST, for students enrolled in 2018.
Exploratory Data Analysis
⭐
7
This repo contains a detailed exploratory analysis of the West Nile Virus outbreak in the US and a statistical analysis of SAT and ACT decline in participation rates.
Sat Dpll
⭐
7
2019CourseDesign
Cfdi Validator
⭐
6
Librería para validar un Comprobante Fiscal Digital por Internet (CFDI)
Rpicosat
⭐
6
PicoSAT bindings for R
Differ Cs
⭐
6
A port of differ (open source SAT collision implementation) to C#
Robbin
⭐
6
🔠 an open dictions platform (both students and developers are welcome!)
Cfdi To Json
⭐
6
Librería para convertir XMLs de CFDI a JSON
Sat Cf E Java
⭐
6
SAT-CF-e - Java
Cmsh
⭐
6
High-level interfaces over @msoos's CryptoMiniSat.
Sat Cf E Lazarus
⭐
5
SAT-CF-e - Lazarus
Limboole
⭐
5
Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.
Satautograder
⭐
5
Grades the reading section of a SAT collegboard form given a picture
1-74 of 74 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.