FacturaScripts/servicios

SAT plugin for FacturaScripts

Language: PHP - Size: 404 KB - Last synced at: about 5 hours ago - Pushed at: about 6 hours ago - Stars: 7 - Forks: 12

ProjetoACBr/ACBr

Mirror não oficial do Projeto ACBr

Language: Pascal - Size: 1.09 GB - Last synced at: about 11 hours ago - Pushed at: about 12 hours ago - Stars: 63 - Forks: 33

MOUADnoui/spectral-popper

StructureLang Lexicon Resonance Experiment with δ(x,t) activation zones and ψ-hotspots

Language: Python - Size: 49.8 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 0 - Forks: 0

Hemit99123/dailysat

Codebase for DailySAT website

Language: TypeScript - Size: 28.8 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 3 - Forks: 5

teeaychem/otter_sat

A library for incremental CDCL SAT solving written for skill and research

Language: Rust - Size: 59.2 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0

MaxDevv/FlashySurf

FlashySurf is a browser extension for passive SAT preparation. It integrates SAT practice questions into your regular browsing, enabling consistent learning without dedicated study time.

Language: JavaScript - Size: 30.2 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0

welchbj/tt

a Pythonic toolkit for working with Boolean expressions

Language: Python - Size: 646 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 219 - Forks: 12

nunchaku-inria/nunchaku

Model finder for higher-order logic

Language: OCaml - Size: 3.98 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 44 - Forks: 3

mitchellh/go-sat 📦

SAT solver written in Go (golang).

Language: Go - Size: 2.27 MB - Last synced at: 5 days ago - Pushed at: about 8 years ago - Stars: 140 - Forks: 8

raudel25/my-thesis

My bachelor thesis

Language: TeX - Size: 38.9 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

sarsko/CreuSAT

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Language: Rust - Size: 169 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 637 - Forks: 12

SAT-CFDI/python-satcfdi

The best open-source python library to generate and process SAT's CFDI

Language: Python - Size: 28.5 MB - Last synced at: 1 day ago - Pushed at: about 1 month ago - Stars: 70 - Forks: 21

ZapprTV/Zappr

Guarda facilmente il digitale terrestre italiano, nazionale e locale. Tutto nel tuo browser, gratis e senza configurazione.

Language: JavaScript - Size: 8.14 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 0 - Forks: 1

papasop/spectral-popper

StructureLang Lexicon Resonance Experiment with δ(x,t) activation zones and ψ-hotspots

Language: Python - Size: 82 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 0 - Forks: 0

R-O-C-K-E-T/Factorio-SAT

Enhancing the Factorio experience with SAT solvers

Language: Python - Size: 23.7 MB - Last synced at: 9 days ago - Pushed at: 9 months ago - Stars: 732 - Forks: 18

conjure-cp/conjure

Conjure: The Automated Constraint Modelling Tool

Language: Haskell - Size: 109 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 104 - Forks: 22

super7ramp/croissant

A crossword solver backed by various SAT solvers

Language: Rust - Size: 1.16 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 0 - Forks: 0

pindakaashq/pindakaas

A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form

Language: Rust - Size: 808 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 2 - Forks: 4

Rainbowcat13/input-variables-search

Поиск входных переменных в булевой формуле

Language: Python - Size: 28.5 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 10 - Forks: 0

mudler/luet

:package: :whale: 0-dependency Container-based Package Manager using SAT solver and QLearning

Language: Go - Size: 25 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 273 - Forks: 26

j-danner/2xnf_sat_solving

Source code of paper 'SAT Solving Using XOR-OR-AND Normal Forms'

Size: 60 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 5 - Forks: 0

alegnani/verifactory

A verifier for Factorio blueprints, enabling one to automatically check logical properties

Language: Rust - Size: 2.43 MB - Last synced at: 1 day ago - Pushed at: 5 months ago - Stars: 36 - Forks: 3

Tjstretchalot/SharpMath2

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

Language: C# - Size: 149 KB - Last synced at: 18 days ago - Pushed at: about 4 years ago - Stars: 52 - Forks: 6

brizuela-go/procesador-xml-cfdi

A React application for processing Mexican CFDI (Comprobante Fiscal Digital por Internet) XML files, extracting financial data, and generating detailed reports.

Language: TypeScript - Size: 75.2 KB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 0

MarekDanco/symmetrybreaking

MACE-like model finder for algebraic structures.

Language: Python - Size: 80.1 MB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 0

super7ramp/sudoku4j

An example of Sudoku solver using Sat4j library.

Language: Java - Size: 43.9 KB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 0

phpcfdi/cfdi-expresiones

Genera expresiones de CFDI 4.0, CFDI 3.3, CFDI 3.2, RET 1.0 y RET 2.0

Language: PHP - Size: 139 KB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 5 - Forks: 4

Nuyoahwjl/HUST-SAT

华中科技大学数据结构课设--基于SAT的对角线数独求解程序

Language: C++ - Size: 16 MB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 5 - Forks: 1

BoxFactura/sat-captcha-ai-model

Modelo OCR que resuelve captchas de SAT en décimas de segundo.

Language: Python - Size: 21.4 MB - Last synced at: 7 days ago - Pushed at: 7 months ago - Stars: 14 - Forks: 6

fisherlyon/SAT_SeniorProject

Work in progress...

Language: Racket - Size: 24.5 MB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 0 - Forks: 0

mvcisback/dfa-identify

Python library for identifying/learning DFAs from labeled examples by reduction to SAT.

Language: Python - Size: 275 KB - Last synced at: 29 days ago - Pushed at: about 1 year ago - Stars: 8 - Forks: 3

vaibhavkarve/normal-form

A Python package for working with Conjunctive Normal Form (CNFs) and Boolean Satisfiability (SAT)

Language: Python - Size: 1.24 MB - Last synced at: 14 days ago - Pushed at: 7 months ago - Stars: 3 - Forks: 0

enzosv/satsquirrel

Language: Go - Size: 608 KB - Last synced at: 27 days ago - Pushed at: 29 days ago - Stars: 0 - Forks: 0

KyleBing/english-vocabulary

英文单词，英语单词，英语四六级、考研、SAT单词，txt 文件, json 文件，CET4 CET6，乱序，单词

Size: 83.9 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 712 - Forks: 136

FiscalAPI/fiscalapi-credentials-net

Esta librería es una de varias que existen dentro de Fiscalapi, fue creada para trabajar con los archivos CSD y FIEL del SAT de manera sencilla en .NET

Language: C# - Size: 639 KB - Last synced at: 26 days ago - Pushed at: 4 months ago - Stars: 17 - Forks: 2

leandrovip/Vip.Printer

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

Language: C# - Size: 156 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 78 - Forks: 26

coolbutuseless/kissatire

R wrapper for the Kissat SAT solver

Language: C - Size: 283 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

ANU-HPC/dagster

Dagster - Parallel Structured Search for Boolean Satisfiability (SAT) problems

Language: HTML - Size: 31.7 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 9 - Forks: 1

yzyyz1387/cqsat

业余无线电助手，基于Nonebot2

Language: Python - Size: 4 MB - Last synced at: 29 days ago - Pushed at: about 1 year ago - Stars: 38 - Forks: 0

meelgroup/approxmc

Approximate Model Counter

Language: C++ - Size: 944 KB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 76 - Forks: 26

phpcfdi/sat-catalogos

Catálogos de SAT para CFDI 3.3, CFDI 4.0 y Nómina 1.2 (spanish)

Language: PHP - Size: 509 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 27 - Forks: 11

acorrenson/modulus

A constraint solver built from scratch in OCaml

Language: OCaml - Size: 451 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 11 - Forks: 2

MatiasBrizzio/N-AI

🧩 Solver for N-Puzzle & N-Queens using Genetic Algorithms, A*, and more in Python

Language: Python - Size: 384 KB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 1 - Forks: 1

urbanophile/awesome-sat-solvers

A curated collection of resources for the Boolean Satisfiability Problem (SAT).

Size: 144 KB - Last synced at: 2 days ago - Pushed at: 4 months ago - Stars: 5 - Forks: 0

super7ramp/crogo

A crossword solver backed by various SAT solvers

Language: Go - Size: 1020 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

JMadgwick/SAT-Web

SAT-Web is a web-based educational tool for explaining SAT solving. It provides visualisations with search trees and variable interaction graphs, and includes a DPLL solver with tracing.

Language: Svelte - Size: 452 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

hadipourh/autoguess

An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges

Language: Python - Size: 24.3 MB - Last synced at: about 20 hours ago - Pushed at: about 1 month ago - Stars: 28 - Forks: 4

hadipourh/mpt

Integral Analysis Based on Monomial Prediction

Language: Python - Size: 275 KB - Last synced at: about 20 hours ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 1

robertcorponoi/collider2d

A 2D collision checker for modern JavaScript games.

Language: JavaScript - Size: 378 KB - Last synced at: 5 days ago - Pushed at: over 3 years ago - Stars: 14 - Forks: 4

phpcfdi/sat-ws-descarga-masiva

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

Language: PHP - Size: 612 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 129 - Forks: 61

baselkhouri/edusat-bva

Implementing and integrating Simple Bounded Variable Addition (BVA) preprocessing technique in EDUSAT SAT solver

Language: C++ - Size: 8.39 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

phpcfdi/sat-ws-descarga-masiva-cli

Consumo del web service de descarga masiva del SAT por línea de comandos

Language: PHP - Size: 55.7 KB - Last synced at: about 2 months ago - Pushed at: 7 months ago - Stars: 7 - Forks: 4

phpcfdi/cfdi-cleaner

Herramienta para limpiar Comprobantes Fiscales Digitales 3.2, 3.3 y 4.0

Language: PHP - Size: 198 KB - Last synced at: 18 days ago - Pushed at: 7 months ago - Stars: 13 - Forks: 9

gioLefe/ts-collisions

TS Implementation of SAT collision detection of convex polygons

Language: TypeScript - Size: 29.3 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

sambayless/monosat

MonoSAT - An SMT solver for Monotonic Theories

Language: C++ - Size: 43.4 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 111 - Forks: 32

dirkschumacher/rpicosat

PicoSAT bindings for R

Language: R - Size: 90.8 KB - Last synced at: 6 days ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 1

JuliusNixi/SAT-Tools

Generate and solve SAT (boolean satisfiability problem) formulas.

Language: Python - Size: 43 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

eclipxe13/CfdiUtils

PHP Common utilities for Mexican CFDI 3.2, 3.3 & 4.0

Language: PHP - Size: 2.4 MB - Last synced at: 20 days ago - Pushed at: about 2 months ago - Stars: 129 - Forks: 51

M-Nad/Bloxorz_solver

Using propositional logic modeling and SAT solver to beat the strategy game Bloxorz 🧩

Language: Python - Size: 15.5 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

Simewu/top-SAT-solvers-2021

The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.

Language: C - Size: 7.68 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 21 - Forks: 3

togatoga/screwsat

A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.

Language: Rust - Size: 215 KB - Last synced at: 4 days ago - Pushed at: 11 months ago - Stars: 38 - Forks: 3

hengxin/sat-smt-satisfying

SAT and SMT

Language: Jupyter Notebook - Size: 86.2 MB - Last synced at: 16 days ago - Pushed at: almost 2 years ago - Stars: 6 - Forks: 2

vokegpu/bicudo

Separation Axis Theorem (SAT) physics engine library accelerated via GPGPU API (ROCm/OpenCL/CUDA) / or CPU-side

Language: C++ - Size: 1.53 MB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 22 - Forks: 0

baskiton/sats-receiver

Satellites data receiver based on GNU Radio

Language: Python - Size: 26.7 MB - Last synced at: 6 days ago - Pushed at: about 1 month ago - Stars: 7 - Forks: 2

FiscalAPI/fiscalapi-net

Crea facturas CFDI en .NET consumiendo el api de fiscalapi. Factura sin dolor!!

Language: C# - Size: 204 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 2 - Forks: 0

MisaelMa/node-cfdi

For CFDI 4.0 XML https://cfdi.recreando.dev/

Language: TypeScript - Size: 8.04 MB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 25 - Forks: 2

igorocampos/ESCPOS

A ESC/POS Printer Commands Helper

Language: C# - Size: 932 KB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 59 - Forks: 23

leandrovip/Vip.DFe

Emissão de Documentos Fiscais Eletrônicos

Language: C# - Size: 573 KB - Last synced at: 1 day ago - Pushed at: 2 months ago - Stars: 2 - Forks: 0

IZH318/Flow-Free-Solver-GUI

SAT solver와 Tkinter GUI를 사용하여 Flow Free 퍼즐을 푸는 파이썬 프로그램입니다.

Language: Python - Size: 37.1 KB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

percontmx/cfdi-java

Clases Java a partir de los esquemas del Servicio de Administración Tributaria (SAT) de México.

Language: Java - Size: 549 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

HRSAndrabi/npycomp

A Python library for NP-complete reductions.

Language: Python - Size: 482 KB - Last synced at: 8 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

SimReale/multiple_couriers_CVRP

Combinatorial optimization project for the Multiple Couriers Problem (MCP).

Language: Python - Size: 2.18 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

styczynski/go-sat-solver

SAT solver written in Go (based on Minisat)

Language: Go - Size: 4.53 MB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 0

triska/clpb

Boolean Constraint Solving in Prolog

Language: Prolog - Size: 305 KB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 39 - Forks: 6

lframosferreira/smt-course

SMT introduction course at UFMG

Language: TeX - Size: 3.16 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

sharyash81/Algorithm-Design

Algorithm design course in my forth semester of university

Language: C# - Size: 30.3 KB - Last synced at: 18 days ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 2

LorenzoSansone/Multiple-Courirers-Planning

This repository contains the solution of the Multiple Couriers Planning (MCP) problem using several technique (SAT, MIP, SMT, CP) for Combinatorial Decision Making and Optimization 2023/2024 course

Language: Python - Size: 12.3 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

alberteije/T2TiERP-2-Delphi

T2Ti ERP 2.0 - Delphi

Language: Pascal - Size: 58 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 65 - Forks: 52

jtb21091/PythonProjectsPublic

PythonProjectsPublic

Language: Python - Size: 146 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

Kienyew/CDCL-SAT-Solver-from-Scratch

CDCL SAT Solver from Scratch in Python

Language: Python - Size: 1.95 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 5 - Forks: 1

schwering/sat

SAT solver for education

Language: TeX - Size: 13.1 MB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0

nim-lang/sat

A SAT solver written in Nim

Language: Nim - Size: 19.5 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 13 - Forks: 1

ulagbulag/or-tools-rs

Unofficial Rust wrappers to the C++ library Google OR-Tools, open source software for combinatorial optimization

Language: Rust - Size: 78.1 KB - Last synced at: 25 days ago - Pushed at: 12 months ago - Stars: 6 - Forks: 1

frones/ACBr

Projeto ACBr - O branch master é um repositório espelho do SVN original (svn://svn.code.sf.net/p/acbr/code/trunk2), criado e mantido com git-svn.

Language: Pascal - Size: 1010 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 160 - Forks: 155

acorrenson/SATurne

Tiny verified SAT-solver

Language: Coq - Size: 421 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 27 - Forks: 3

omerasaf01/scholar-circle

Language: TypeScript - Size: 322 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

flopp/gol-sat

A SAT-based forward/backwards solver for Conway's "Game of Life".

Language: C++ - Size: 18.6 KB - Last synced at: about 2 months ago - Pushed at: 11 months ago - Stars: 3 - Forks: 0

MatiasBrizzio/AuRUS

AuRUS 🧬: A Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.

Language: Java - Size: 156 MB - Last synced at: 29 days ago - Pushed at: 12 months ago - Stars: 4 - Forks: 1

ConroeSoluciones/descarga-ciec-csharp

Biblioteca para la descarga masiva de CFDI mediante el webservice CIEC de CSFacturación

Language: C# - Size: 299 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

Xiaowhite7/Hust_SAT_sudo

华中科技大学计算机科学与技术学院程序设计

Size: 4.14 MB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 0

togatoga/gatosat 📦

A CDCL SAT solver written in Golang(Go).

Language: Go - Size: 56.6 KB - Last synced at: 4 days ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

limo1996/SAT-Solver

Parallel SAT Solver

Language: C++ - Size: 23.2 MB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 10 - Forks: 1

D3lph1/Boollet

Boolean algebra toolkit for PHP

Language: PHP - Size: 123 KB - Last synced at: 8 days ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 0

Radi3nt/JavaUtil

Here is a beautiful util-library for all Java users

Language: Java - Size: 402 KB - Last synced at: about 20 hours ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0

a1076559139/XForge

CocosCreator游戏开发框架 — 入门轻松、功能强大、渐进式。An approachable, performant and versatile framework for building game clients. Topics：CocosCreator、CocosCreator3、3、3.x、3.8、framework.

Language: TypeScript - Size: 17 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 142 - Forks: 29

Radi3nt/LWPhysicsEngine

This project aims at creating a realtime physics engine to be used in games

Language: Java - Size: 359 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

gregorybchris/markers

Boolean formula parsing

Language: Python - Size: 108 KB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

bachorp/mat

The Multi Agent Transportation Problem: Solvers, Evaluations, and Computer-Assisted Proofs

Language: C++ - Size: 29.7 MB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

peguerosdc/cfdibills

Utility to parse, validate and verify CFDI (Mexican invoice)

Language: Python - Size: 84 KB - Last synced at: 14 days ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 3

super7ramp/sss

A very small SAT solver written in Java

Language: Java - Size: 20.5 KB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0