sat

There are 5 repositories under sat topic.

R-O-C-K-E-T / Factorio-SAT
Enhancing the Factorio experience with SAT solvers
factorio python sat
Language:Python 602
sarsko / CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
automated-reasoning deductive-reasoning formal-methods formal-verification minisat proof rust rust-lang sat sat-solver satisfiability verification
Language:Rust 582
KyleBing / english-vocabulary
英文单词，英语单词，英语四六级、考研、SAT单词，txt 文件, json 文件，CET4 CET6，乱序，单词
cet4 cet6-words json sat toefl
379
mudler / luet
:package: :whale: 0-dependency Container-based Package Manager using SAT solver and QLearning
build cloud containers docker golang kubernetes package-manager reinforcement-learning sat
Language:Go 246
welchbj / tt
a Pythonic toolkit for working with Boolean expressions
boolean-expression boolean-algebra boolean python satisfiability truth-table sat-solver sat transformations
Language:Python 217
t-dillon / tdoku
A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.
sudoku sudoku-solver sudoku-generator sudoku-benchmarks pencilmark-sudoku sat
Language:C++ 174
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.
automacao-comercial cte nfce nfe nfse pascal sat sped
Language:Pascal 140
mitchellh / go-sat
SAT solver written in Go (golang).
golang go sat-solver sat
Language:Go 133
eclipxe13 / CfdiUtils
PHP Common utilities for Mexican CFDI 3.2, 3.3 & 4.0
cfdi sat mexico hacktoberfest
Language:PHP 120
phpcfdi / sat-ws-descarga-masiva
Librería para usar el servicio web del SAT de Descarga Masiva
cfdi descargamasivasat sat
Language:PHP 114
jmplonka / InventorLoader
Workbench for FreeCAD to loads or import Autodesk (R) Inventor (R) files.
acis addon autodesk freecad freecad-addons inventor ipt parser sat step
Language:Python 105
sambayless / monosat
MonoSAT - An SMT solver for Monotonic Theories
sat smt graph
Language:C++ 105
conjure-cp / conjure
Conjure: The Automated Constraint Modelling Tool
constraints modelling combinatorial-optimization constraint-programming sat
Language:Haskell 94
leandrovip / Vip.Printer
Biblioteca para realizar impressões (impressora não fiscal) utilizando comandos Esc/Bema, Esc/Daruma e Esc/Pos :rocket:
escpos escbema printer escpos-printer bematech epson impressora termica sat cfe nfce elgin
Language:C# 69
meelgroup / approxmc
Approximate Model Counter
model-couting sat satisfiability counting
Language:C++ 68
touist / touist
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
education research problem-solving ocaml minisat yices smt sat smt-lib dimacs propositional-logic qbf
Language:OCaml 65
meelgroup / bosphorus
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
anf cryptoanalysis sat cnf dimacs anf-simplifications
Language:C++ 63
alberteije / T2TiERP-2-Delphi
T2Ti ERP 2.0 - Delphi
erp t2ti delphi mysql firebird datasnap rest 2-camadas 3-camadas contabil financeiro bi crm compras vendas sped nf-e sat nfc-e oracle
Language:Pascal 60
audemard / glucose
The glucose SAT solver
sat solver sat-solver satisfiability
Language:C++ 57
igorocampos / ESCPOS
A ESC/POS Printer Commands Helper
escpos printer receipt cfe qrcode barcode esc-pos esc pos sat hacktoberfest
Language:C# 53
anuraghazra / Atomic.js
:collision: Atomic.js | Greatly Simple Physics Engine For Javascript
collision-detection physics-2d physics-engine sat verlet-engine
Language:JavaScript 52
Tjstretchalot / SharpMath2
2D math / geometry collision library for C#, compatable with monogame.
math csharp 2d collision polygon math2d mtv minimumtranslationvector library geometry sat
Language:C# 49
orlandocharles / cfdi
Librería para generar Comprobantes Fiscales (CFDI) para la versión 3.3
sat cfdi invoice mexico
Language:PHP 48
biotomas / ipasir
The Standard Interface for Incremental Satisfiability Solving
incremental satisfiability api c cpp sat
Language:C++ 47
nunchaku-inria / nunchaku
Model finder for higher-order logic
model-finding sat cvc4 higher-order logic proof-assistant isabelle hol
Language:OCaml 41
dj0abr / QO100_Transceiver
QO-100 Software Transceiver using an Adalm-Pluto and an SBC (Raspberry, Odroid ...)
qo-100 sat rpi sbc raspberry dsp sdr linux transceiver
Language:C++ 40
imandra-ai / minisat-ml
Faithful reimplementation of Minisat 2.2 in OCaml.
sat ocaml minisat imperative-programming
Language:OCaml 38
ProjetoACBr / ACBr
Mirror não oficial do Projeto ACBr
nfe nfce mdfe cte sat esocial sped
Language:Pascal 38
SAT-CFDI / python-satcfdi
The best open-source python library to generate and process SAT's CFDI
cfdi40 constancia constanciadigital descargamasivasat diot facturacion-electronica retenciones sat
Language:Python 38
sat-heritage / docker-images
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
docker reproducibility sat sat-solvers
Language:Python 38
sukrutrao / Timetabler
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
constraint-satisfaction-problem satisfiability maxsat sat-solver sat timetable-generator timetabler iith iit-hyderabad custom-constraints maxsat-solver timetable timetable-builder open-wbo cpp
Language:C++ 38
conp-solutions / mergesat
configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)
sat automated-reasoning
Language:C++ 37
togatoga / screwsat
A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
rust sat-solver sat math competitive-programming
Language:Rust 36
JuantAldea / Separating-Axis-Theorem
Implementations of the Separating axis theorem. Useful for convex collision detection.
collision-detection hyperplane-separation-theorem separating-axis-theorem sat
Language:Python 32
triska / clpb
Boolean Constraint Solving in Prolog
clp prolog constraints bdd constraint-programming independent-sets matchsticks-puzzle satisfiability sat
Language:Prolog 32
Billy1900 / DPLL-Algorithm
华中科技大学数据结构课程设计2018 An algorithm to solve SAT problem
sat dpll dpll-algorithm sudoku-solver
Language:C++ 31

sat

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

sarsko / CreuSAT

KyleBing / english-vocabulary

mudler / luet

welchbj / tt

t-dillon / tdoku

frones / ACBr

mitchellh / go-sat

eclipxe13 / CfdiUtils

phpcfdi / sat-ws-descarga-masiva

jmplonka / InventorLoader

sambayless / monosat

conjure-cp / conjure

leandrovip / Vip.Printer

meelgroup / approxmc

touist / touist

meelgroup / bosphorus

alberteije / T2TiERP-2-Delphi

audemard / glucose

igorocampos / ESCPOS

anuraghazra / Atomic.js

Tjstretchalot / SharpMath2

orlandocharles / cfdi

biotomas / ipasir

nunchaku-inria / nunchaku

dj0abr / QO100_Transceiver

imandra-ai / minisat-ml

ProjetoACBr / ACBr

SAT-CFDI / python-satcfdi

sat-heritage / docker-images

sukrutrao / Timetabler

conp-solutions / mergesat

togatoga / screwsat

JuantAldea / Separating-Axis-Theorem

triska / clpb

Billy1900 / DPLL-Algorithm