sat | Topic | Ecosyste.ms: Repos

Topic: "sat"

KyleBing/english-vocabulary

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

Size: 83.9 MB - Last synced at: 11 days ago - Pushed at: 24 days ago - Stars: 712 - Forks: 136

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

Enhancing the Factorio experience with SAT solvers

Language: Python - Size: 23.7 MB - Last synced at: 5 months ago - Pushed at: 8 months ago - Stars: 665 - Forks: 19

sarsko/CreuSAT

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

Language: Rust - Size: 111 MB - Last synced at: 11 months ago - Pushed at: about 1 year ago - Stars: 591 - Forks: 10

mudler/luet

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

Language: Go - Size: 24.9 MB - Last synced at: 9 days ago - Pushed at: about 1 month ago - Stars: 273 - Forks: 26

welchbj/tt

a Pythonic toolkit for working with Boolean expressions

Language: Python - Size: 577 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 218 - Forks: 12

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: 3 months ago - Pushed at: 3 months ago - Stars: 160 - Forks: 155

t-dillon/tdoku

A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.

Language: C++ - Size: 71.2 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 152 - Forks: 21

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

mitchellh/go-sat 📦

SAT solver written in Go (golang).

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

eclipxe13/CfdiUtils

PHP Common utilities for Mexican CFDI 3.2, 3.3 & 4.0

Language: PHP - Size: 2.4 MB - Last synced at: about 10 hours ago - Pushed at: about 1 month ago - Stars: 129 - Forks: 51

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: 15 days ago - Pushed at: about 1 year ago - Stars: 129 - Forks: 61

jmplonka/InventorLoader

Workbench for FreeCAD to loads or import Autodesk (R) Inventor (R) files.

Language: Python - Size: 10.1 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 122 - Forks: 17

sambayless/monosat

MonoSAT - An SMT solver for Monotonic Theories

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

conjure-cp/conjure

Conjure: The Automated Constraint Modelling Tool

Language: Haskell - Size: 109 MB - Last synced at: 8 days ago - Pushed at: 14 days ago - Stars: 103 - Forks: 22

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: 13 days ago - Pushed at: 2 months ago - Stars: 78 - Forks: 26

audemard/glucose

The glucose SAT solver

Language: C++ - Size: 387 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 77 - Forks: 15

meelgroup/approxmc

Approximate Model Counter

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

touist/touist

TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)

Language: OCaml - Size: 12 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 65 - Forks: 12

alberteije/T2TiERP-2-Delphi

T2Ti ERP 2.0 - Delphi

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

meelgroup/bosphorus

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

Language: C++ - Size: 572 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 64 - Forks: 18

ProjetoACBr/ACBr

Mirror não oficial do Projeto ACBr

Language: Pascal - Size: 1.09 GB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 61 - Forks: 33

igorocampos/ESCPOS

A ESC/POS Printer Commands Helper

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

Tjstretchalot/SharpMath2

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

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

anuraghazra/Atomic.js

:collision: Atomic.js | Greatly Simple Physics Engine For Javascript

Language: JavaScript - Size: 608 KB - Last synced at: 18 days ago - Pushed at: over 2 years ago - Stars: 52 - Forks: 8

orlandocharles/cfdi

Librería para generar Comprobantes Fiscales (CFDI) para la versión 3.3

Language: PHP - Size: 38.1 KB - Last synced at: about 2 months ago - Pushed at: about 7 years ago - Stars: 49 - Forks: 36

biotomas/ipasir

The Standard Interface for Incremental Satisfiability Solving

Language: C++ - Size: 2.18 MB - Last synced at: 12 months ago - Pushed at: almost 3 years ago - Stars: 47 - Forks: 14

nunchaku-inria/nunchaku

Model finder for higher-order logic

Language: OCaml - Size: 3.98 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 41 - Forks: 3

triska/clpb

Boolean Constraint Solving in Prolog

Language: Prolog - Size: 305 KB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 39 - Forks: 6

togatoga/screwsat

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

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

yzyyz1387/cqsat

业余无线电助手，基于Nonebot2

Language: Python - Size: 4 MB - Last synced at: 9 days ago - Pushed at: 12 months ago - Stars: 38 - Forks: 0

imandra-ai/minisat-ml

Faithful reimplementation of Minisat 2.2 in OCaml.

Language: OCaml - Size: 488 KB - Last synced at: 1 day ago - Pushed at: about 2 years ago - Stars: 38 - Forks: 1

sat-heritage/docker-images

SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers

Language: Python - Size: 377 KB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 38 - Forks: 3

SAT-CFDI/python-satcfdi

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

Language: Python - Size: 21.6 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 35 - Forks: 8

sukrutrao/Timetabler

A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver

Language: C++ - Size: 756 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 35 - Forks: 7

conp-solutions/mergesat Fork of niklasso/minisat

configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)

Language: C++ - Size: 1.71 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 33 - Forks: 3

dj0abr/QO100_Transceiver

QO-100 Software Transceiver using an Adalm-Pluto and an SBC (Raspberry, Odroid ...)

Language: C++ - Size: 30.5 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 32 - Forks: 7

JuantAldea/Separating-Axis-Theorem

Implementations of the Separating axis theorem. Useful for convex collision detection.

Language: Python - Size: 16.6 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 29 - Forks: 8

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: 8 days ago - Pushed at: 23 days ago - Stars: 28 - Forks: 4

alegnani/verifactory

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

Language: Rust - Size: 2.43 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 28 - Forks: 3

Billy1900/DPLL-Algorithm

华中科技大学数据结构课程设计2018 An algorithm to solve SAT problem

Language: C++ - Size: 370 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 28 - Forks: 7

Gbury/archsat

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

Language: OCaml - Size: 2.14 MB - Last synced at: 23 days ago - Pushed at: almost 2 years ago - Stars: 27 - Forks: 5

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: 12 days ago - Pushed at: almost 2 years ago - Stars: 27 - Forks: 11

acorrenson/SATurne

Tiny verified SAT-solver

Language: Coq - Size: 421 KB - Last synced at: 17 days ago - Pushed at: over 3 years ago - Stars: 27 - Forks: 3

MisaelMa/node-cfdi

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

Language: TypeScript - Size: 8.04 MB - Last synced at: 6 days ago - Pushed at: 23 days ago - Stars: 25 - Forks: 2

nicolasAmat/SMPT

SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

Language: Python - Size: 8.91 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 25 - Forks: 4

c-cube/smbc

Experimental model finder/SMT solver for functional programming.

Language: OCaml - Size: 1.07 MB - Last synced at: 1 day ago - Pushed at: almost 3 years ago - Stars: 23 - Forks: 0

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: 11 days ago - Pushed at: 5 months ago - Stars: 22 - 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 1 month ago - Pushed at: about 1 month ago - Stars: 21 - Forks: 3

vsklad/cgen

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.

Language: C++ - Size: 234 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 21 - Forks: 5

maxtuno/slime-sat-solver

A Free World Class High Performance SAT Solver

Language: JavaScript - Size: 285 MB - Last synced at: 3 months ago - Pushed at: almost 4 years ago - Stars: 20 - Forks: 1

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: 6 days ago - Pushed at: 3 months ago - Stars: 17 - Forks: 2

hexus/phaser-sat-example

An experiment that uses sat-js with Phaser.

Language: JavaScript - Size: 31.3 KB - Last synced at: 18 days ago - Pushed at: almost 9 years ago - Stars: 17 - Forks: 1

ahirner/backtrack-rs

Solve hard constraints easily with Rust.

Language: Rust - Size: 73.2 KB - Last synced at: 8 days ago - Pushed at: almost 3 years ago - Stars: 15 - Forks: 1

Kinedu/cfdi-xml

Librería para generar la estructura XML de los Comprobantes Fiscales (CFDI)

Language: PHP - Size: 86.9 KB - Last synced at: 25 days ago - Pushed at: over 3 years ago - Stars: 15 - Forks: 6

NickLee2050/HustProgramDesign

Program Design affiliated to General Course Design of CSE College, HUST, for students enrolled in 2018.

Language: C - Size: 25.4 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 15 - Forks: 0

alberteije/SAT-CF-e-Java

SAT-CF-e - Java

Language: Java - Size: 45.5 MB - Last synced at: 18 days ago - Pushed at: almost 6 years ago - Stars: 15 - Forks: 9

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: 6 days ago - Pushed at: 7 months ago - Stars: 14 - Forks: 6

robertcorponoi/collider2d

A 2D collision checker for modern JavaScript games.

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

Kapilhk/SatPie

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

Language: Jupyter Notebook - Size: 1.09 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 14 - Forks: 3

alberteije/SAT-CF-e-Delphi

SAT-CF-e - Delphi

Language: Pascal - Size: 10.6 MB - Last synced at: 18 days ago - Pushed at: almost 6 years ago - Stars: 14 - Forks: 9

nim-lang/sat

A SAT solver written in Nim

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

alberteije/SAT-CF-e-CSharp

SAT-CF-e - C#

Language: C# - Size: 15.1 MB - Last synced at: 18 days ago - Pushed at: almost 6 years ago - Stars: 13 - Forks: 14

Kinedu/cfdi-pac

Librería para timbrar un CFDI con algún Proveedor Autorizado de Certificación (PAC)

Language: PHP - Size: 12.7 KB - Last synced at: 2 months ago - Pushed at: about 6 years ago - Stars: 13 - 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: about 1 month ago - Pushed at: 7 months ago - Stars: 12 - Forks: 8

c-cube/ocaml-minisat

OCaml bindings to Minisat

Language: C++ - Size: 717 KB - Last synced at: 1 day ago - Pushed at: 12 months ago - Stars: 12 - Forks: 4

onefacture/cfdi-to-json

Librería para convertir XMLs de CFDI a JSON

Language: TypeScript - Size: 1020 KB - Last synced at: 7 months ago - Pushed at: about 1 year ago - Stars: 12 - Forks: 5

maximaximal/Paracooba

Distributed and ressource elastic cube-and-conquer SAT & QBF solver

Language: C++ - Size: 37.2 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 12 - Forks: 3

Kinedu/cfdi-certificate

Librería para decodificar los Certificados de Sello Digital (CSD) del Servicio de Administración Tributaria (SAT)

Language: PHP - Size: 48.8 KB - Last synced at: 12 months ago - Pushed at: over 3 years ago - Stars: 12 - Forks: 3

acorrenson/modulus

A constraint solver built from scratch in OCaml

Language: OCaml - Size: 451 KB - Last synced at: 17 days ago - Pushed at: over 3 years ago - Stars: 11 - Forks: 2

bfollington/differ-cs

A port of differ (open source SAT collision implementation) to C#

Language: C# - Size: 18.6 KB - Last synced at: 19 days ago - Pushed at: almost 4 years ago - Stars: 11 - Forks: 3

Kinedu/cfdi-xslt

Librería para descargar los XSLT de la Cadena Original del Servicio de Administración Tributaria (SAT)

Language: PHP - Size: 12.7 KB - Last synced at: 16 days ago - Pushed at: about 6 years ago - Stars: 11 - Forks: 1

Rainbowcat13/input-variables-search

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

Language: Python - Size: 20.6 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 10 - Forks: 0

c-cube/batsat-ocaml

OCaml bindings for batsat (https://github.com/c-cube/batsat)

Language: OCaml - Size: 985 KB - Last synced at: 1 day ago - Pushed at: about 3 years ago - Stars: 10 - Forks: 2

cipherboy/hash_framework

Framework for studying cryptographic hash functions using SAT.

Language: Python - Size: 923 KB - Last synced at: 3 days ago - Pushed at: over 3 years ago - Stars: 10 - Forks: 2

limo1996/SAT-Solver

Parallel SAT Solver

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

ANU-HPC/dagster

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

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

private-yusuke/sat-d 📦

A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム

Language: D - Size: 1.17 MB - Last synced at: 3 days ago - Pushed at: over 3 years ago - Stars: 9 - Forks: 0