sat
There are 489 repositories under sat topic.
KyleBing/english-vocabulary
英文单词，英语单词，四六级 CET4 CET6、考研、SAT单词，txt 文件, json 文件
R-O-C-K-E-T/Factorio-SAT
Enhancing the Factorio experience with SAT solvers
sarsko/CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
mudler/luet
:package: :whale: 0-dependency Container-based Package Manager using SAT solver and QLearning
t-dillon/tdoku
A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.
welchbj/tt
a Pythonic toolkit for working with Boolean expressions
a1076559139/XForge
CocosCreator游戏开发框架 — 入门轻松、功能强大、渐进式。An approachable, performant and versatile framework for building game clients. Topics：CocosCreator、CocosCreator3、3、3.x、3.8、framework.
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.
jmplonka/InventorLoader
Workbench for FreeCAD to loads or import Autodesk (R) Inventor (R) files.
mitchellh/go-sat
SAT solver written in Go (golang).
eclipxe13/CfdiUtils
PHP Common utilities for Mexican CFDI 3.2, 3.3 & 4.0
phpcfdi/sat-ws-descarga-masiva
Librería para usar el servicio web del SAT de Descarga Masiva
audemard/glucose
The glucose SAT solver
sambayless/monosat
MonoSAT - An SMT solver for Monotonic Theories
conjure-cp/conjure
Conjure: The Automated Constraint Modelling Tool
SAT-CFDI/python-satcfdi
The best open-source python library to generate and process SAT's CFDI
meelgroup/approxmc
Approximate Model Counter
leandrovip/Vip.Printer
Biblioteca para realizar impressões (impressora não fiscal) utilizando comandos Esc/Bema, Esc/Daruma e Esc/Pos :rocket:
meelgroup/bosphorus
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
touist/touist
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
alberteije/T2TiERP-2-Delphi
T2Ti ERP 2.0 - Delphi
igorocampos/ESCPOS
A ESC/POS Printer Commands Helper
ProjetoACBr/ACBr
Mirror não oficial do Projeto ACBr
anuraghazra/Atomic.js
:collision: Atomic.js | Greatly Simple Physics Engine For Javascript
Tjstretchalot/SharpMath2
2D math / geometry collision library for C#, compatable with monogame.
dj0abr/QO100_Transceiver
QO-100 Software Transceiver using an Adalm-Pluto and an SBC (Raspberry, Odroid ...)
biotomas/ipasir
The Standard Interface for Incremental Satisfiability Solving
orlandocharles/cfdi
Librería para generar Comprobantes Fiscales (CFDI) para la versión 3.3
nunchaku-inria/nunchaku
Model finder for higher-order logic
conp-solutions/mergesat
configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)
triska/clpb
Boolean Constraint Solving in Prolog
sukrutrao/Timetabler
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
imandra-ai/minisat-ml
Faithful reimplementation of Minisat 2.2 in OCaml.
JuantAldea/Separating-Axis-Theorem
Implementations of the Separating axis theorem. Useful for convex collision detection.
sat-heritage/docker-images
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
togatoga/screwsat
A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.