Projects in Awesome Lists tagged with sat
A curated list of projects in awesome lists tagged with sat .
https://github.com/kylebing/english-vocabulary
英文单词，英语单词，英语四六级、考研、SAT单词，txt 文件, json 文件，CET4 CET6，乱序，单词
cet4 cet6-words json sat toefl txt
Last synced: 15 May 2025
https://github.com/R-O-C-K-E-T/Factorio-SAT
Enhancing the Factorio experience with SAT solvers
Last synced: 01 May 2025
https://github.com/KyleBing/english-vocabulary
英文单词，英语单词，英语四六级、考研、SAT单词，txt 文件, json 文件，CET4 CET6，乱序，单词
cet4 cet6-words json sat toefl txt
Last synced: 24 Mar 2025
https://github.com/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
Last synced: 09 May 2025
https://github.com/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
Last synced: 16 May 2025
https://github.com/heygsc/word-wind
在线背单词网页
cet4 cet4-words cet6 cet6-words education english english-learning english-word english-words sat sat-word toefl toefl-words vocabulary words
Last synced: 01 Mar 2026
https://github.com/welchbj/tt
a Pythonic toolkit for working with Boolean expressions
boolean boolean-algebra boolean-expression python sat sat-solver satisfiability transformations truth-table
Last synced: 16 Sep 2025
https://github.com/phpcfdi/sat-ws-descarga-masiva
Librería para usar el servicio web del SAT de Descarga Masiva
Last synced: 13 Jan 2026
https://github.com/meelgroup/approxmc
Approximate Model Counter
cnf-clauses counting dimacs-cnf model-couting sat satisfiability
Last synced: 16 Jan 2026
https://github.com/leandrovip/vip.printer
Biblioteca para realizar impressões (impressora não fiscal) utilizando comandos Esc/Bema, Esc/Daruma e Esc/Pos :rocket:
bematech cfe elgin epson escbema escpos escpos-printer impressora nfce printer sat termica
Last synced: 08 Apr 2025
https://github.com/meelgroup/bosphorus
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
anf anf-simplifications cnf cryptoanalysis dimacs sat
Last synced: 18 Jan 2026
https://github.com/anuraghazra/atomic.js
:collision: Atomic.js | Greatly Simple Physics Engine For Javascript
collision-detection physics-2d physics-engine sat verlet-engine
Last synced: 19 Mar 2025
https://github.com/chrjabs/rustsat
This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance.
Last synced: 30 Jan 2026
https://github.com/togatoga/screwsat
A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
competitive-programming math rust sat sat-solver
Last synced: 09 May 2025
https://github.com/imandra-ai/minisat-ml
Faithful reimplementation of Minisat 2.2 in OCaml.
imperative-programming minisat ocaml sat
Last synced: 12 Jul 2025
https://github.com/triska/clpb
Boolean Constraint Solving in Prolog
bdd clp constraint-programming constraints independent-sets matchsticks-puzzle prolog sat satisfiability
Last synced: 04 Jan 2026
https://github.com/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
Last synced: 14 Jan 2026
https://github.com/conp-solutions/mergesat
configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)
Last synced: 21 Nov 2025
https://github.com/hadipourh/autoguess
An easy-to-use, general and open-source tool to solve the guess-and-determine problem
blockcipher constraint-programming cryptanalysis cryptography groebner-basis guess-and-determine key-bridging milp minizinc or-tools pysat pysmt python3 sagemath sat sat-solver-application smt stream-ciphers
Last synced: 25 Feb 2026
https://github.com/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.
formal-proofs ocaml polymorphism rewriting sat smt theorem-proving
Last synced: 22 Apr 2025
https://github.com/c-cube/smbc
Experimental model finder/SMT solver for functional programming.
computational formal-methods logic model ocaml sat solver
Last synced: 29 Oct 2025
https://github.com/alegnani/verifactory
A verifier for Factorio blueprints, enabling one to automatically check logical properties
Last synced: 02 Mar 2026
https://github.com/maxtuno/slime-sat-solver
A Free World Class High Performance SAT Solver
cnf cnf-clauses cnf-encoding sat sat-solver satisfiability
Last synced: 08 Oct 2025
https://github.com/vokegpu/bicudo
Separation Axis Theorem (SAT) physics engine library accelerated via GPGPU API (ROCm/OpenCL/CUDA) / or CPU-side
opengl opengl4 physics physics-2d physics-simulation rocm rocm-kernel sat sdl separation-axis-theorem
Last synced: 10 Apr 2025
https://github.com/acorrenson/saturne
Tiny verified SAT-solver
coq formal-verification hacktoberfest sat sat-solver
Last synced: 09 Jul 2025
https://github.com/hexus/phaser-sat-example
An experiment that uses sat-js with Phaser.
demo example phaser sat separating-axis-theorem
Last synced: 21 Aug 2025
https://github.com/robertcorponoi/collider2d
A 2D collision checker for modern JavaScript games.
2d-collision-checker axis-aligned-bounding-box box circle collider2d collision polygon sat vector
Last synced: 15 Jun 2025
https://github.com/bfollington/differ-cs
A port of differ (open source SAT collision implementation) to C#
collision csharp sat separating-axis-theorem unity
Last synced: 17 Mar 2025
https://github.com/cipherboy/hash_framework
Framework for studying cryptographic hash functions using SAT.
cryptographic-hash-functions cryptography distributed-computing md4 md5 sat satisfiability sha3 siphash
Last synced: 24 Apr 2025
https://github.com/limo1996/sat-solver
Parallel SAT Solver
cdcl-algorithm dpll-algorithm high-performance-computing mpi parallel-computing sat sat-solver
Last synced: 09 Apr 2025
https://github.com/acorrenson/modulus
A constraint solver built from scratch in OCaml
hacktoberfest logic logic-programming sat sat-solver smt smt-lib smt-solver solver solvers theories
Last synced: 09 Jul 2025
https://github.com/phpcfdi/sat-ws-descarga-masiva-cli
Consumo del web service de descarga masiva del SAT por línea de comandos
cfdi descarga-masiva mexico sat webservice
Last synced: 14 Jan 2026
https://github.com/mvcisback/dfa-identify
Python library for identifying/learning DFAs from labeled examples by reduction to SAT.
Last synced: 17 Jan 2026
https://github.com/weaversa/mphf
An efficient minimal perfect hash function generator for small sets
efficient hash-functions minimal-perfect-hash mphf sat satisfiability
Last synced: 09 Apr 2025
https://github.com/cipherboy/cmsh
High-level interfaces over @msoos's CryptoMiniSat.
circuit cnf cryptominisat cryptominisat5 golang high-level python sat satisfiability
Last synced: 24 Apr 2025
https://github.com/robbepop/dimacs-parser
Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.
Last synced: 16 Oct 2025
https://github.com/sharyash81/algorithm-design
Algorithm design course in my forth semester of university
algorithms bipartite-matching burrows-wheeler-transform clustering edmonds-karp-algorithm graph-algorithms lcp-array linear-programming minimum-spanning-trees pattern-matching push-relabel sat shortest-path-algorithm simplex-algorithm string-matching suffix-array suffix-tree
Last synced: 23 Apr 2025
https://github.com/softmarshmallow/robbin
🔠 an open dictions platform (both students and developers are welcome!)
deno dictionary dictionary-app education flutter gre nestjs nlp prisma python robbin sat students
Last synced: 02 Sep 2025
https://github.com/phpcfdi/cfdi-expresiones
Genera expresiones de CFDI 4.0, CFDI 3.3, CFDI 3.2, RET 1.0 y RET 2.0
Last synced: 11 Jan 2026
https://github.com/srgrr/cellrouter
A SAT-Based cell router.
academic cell-routing combinatorial-optimization graph-algorithms python3 sat vlsi-physical-design
Last synced: 06 Sep 2025
https://github.com/dirkschumacher/rpicosat
PicoSAT bindings for R
logic logic-programming picosat r sat sat-solver satisfiability
Last synced: 15 May 2025
https://github.com/ulagbulag/or-tools-rs
Unofficial Rust wrappers to the C++ library Google OR-Tools, open source software for combinatorial optimization
combinatorial-optimization csp gra graph linear-solvers optimization or-tools routing rust sat
Last synced: 31 Oct 2025
https://github.com/styczynski/go-sat-solver
SAT solver written in Go (based on Minisat)
Last synced: 05 Mar 2025
https://github.com/leondejong/js-sat
Separating Axis Theorem
2d axis html javascript js sat separating separating-axis-theorem theorem
Last synced: 08 Feb 2026
https://github.com/sofianedjerbi/nonogramsolver
Solving Nonograms with SAT solvers
logic nonogram nonogram-solver python sat sat-solver solver
Last synced: 26 Oct 2025
https://github.com/lip6/cosy
cosy esbp sat sat-solver satisfiability sbp symmetry symmetry-breaking symmetry-reduction
Last synced: 11 Apr 2025
https://github.com/ivansotelo/cfdistate
Consulta el estado de un cfdi en el webservice del SAT
Last synced: 10 Apr 2025
https://github.com/bwconrad/dpll-sat-solver
SAT solver using the DPLL algorithm
artificial-intelligence python3 sat
Last synced: 30 Jul 2025
https://github.com/pindakaashq/pindakaas
A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form
cnf pseudo-boolean sat sat-encodings
Last synced: 21 Feb 2026
https://github.com/YunoHost-Apps/sat_ynh
Salut à Toi package for YunoHost
libervia sat xmpp yunohost yunohost-apps
Last synced: 12 Mar 2025
https://github.com/sergiss/tiny.js
Small javascript physics library based on SAT
javascript physics-engine sat webgl
Last synced: 15 Oct 2025
https://github.com/d3lph1/boollet
Boolean algebra toolkit for PHP
boolean-algebra normal-forms sat sat-solver truth-table zhegalkin-polynomial
Last synced: 17 Mar 2026
https://github.com/solhop/rsat
SAT Solver
cdcl sat sat-solver satifiability sls unsat
Last synced: 30 Dec 2025
https://github.com/schwering/sat
SAT solver for education
logic sat satisfiability satisfiability-solver
Last synced: 05 Mar 2026
https://github.com/sbeyer/commonsat
a common C++11 SAT solver interface for different SAT solvers
c-plus-plus c-plus-plus-11 cpp cpp-library cpp11 formula header-only library sat sat-solver satsolver
Last synced: 05 Feb 2026
https://github.com/vaibhavkarve/normal-form
A Python package for working with Conjunctive Normal Form (CNFs) and Boolean Satisfiability (SAT)
clause cnf logic python3 sat sat-solver
Last synced: 14 Jan 2026
https://github.com/hargonix/crup
A Checker for RUP proofs written in Lean 4
Last synced: 22 May 2026
https://github.com/flopp/gol-sat
A SAT-based forward/backwards solver for Conway's "Game of Life".
conways-game-of-life game-of-life gameoflife minisat sat sat-solver satisfiability
Last synced: 15 Mar 2025
https://github.com/msoos/sat_competition_2013_sources
SAT Competition 2013 Source Archives
cdcl formal-verification sat smt
Last synced: 21 Feb 2026
https://github.com/ylogx/definition
A quick command line tool to find word meanings from 4-5 online dictionaries
gre gre-words online-dictionaries python sat word-meanings wordnik
Last synced: 09 Jul 2025
https://github.com/martingms/ersatz
A simple, small, work in progress SAT-solver, written in ANSI C
Last synced: 03 Jan 2026
https://github.com/acorrenson/neutron
A Coq-certified preprocessor for boolean logic formulae
logic logic-programming sat sat-solver solvers
Last synced: 14 Mar 2025
https://github.com/oniani/sat-sudoku
Implementation of the paper "Sudoku as a SAT Problem"
games np-hard python3 sat sudoku sudoku-solver
Last synced: 08 Jun 2026
https://github.com/ionutcicio/model-based-ai
Artificial Intelligence @ uniroma1
csp planning probabilistic-ai sat symbolic-ai
Last synced: 14 Feb 2026
https://github.com/lorenzinco/colombinisat
A complete 3-SAT solver with polynomial time euristic.
Last synced: 23 Jun 2026
https://github.com/Lorenzinco/colombiniSAT
A complete 3-SAT solver with polynomial time euristic.
Last synced: 09 May 2025
https://github.com/tortis/elm-sat
A simple DPLL SAT solver in Elm
dpll-algorithm elm elm-lang sat sat-solver
Last synced: 04 Sep 2025
https://github.com/gojakuch/k-sat-grover-schoening
This notebook can be used as a tutorial for combining Schöning's and Grover's methods to solve k-SAT problems.
grovers-algorithm quantum-algorithms quantum-computing sat
Last synced: 15 Mar 2025
https://github.com/40uf411/genetic-algorithm-sat-problem
SAT solver using java. Implementing few strategies like elitism, tournament, dynamic crossover andmore.
chart crossover evolution genetic-algorithm genetic-optimization-algorithm genetic-programming mutation real-time sat sat-solver selection
Last synced: 30 Jun 2025
https://github.com/hadar301/sat_algorithms-
algorithm belief-propagation sat sat-solver survey-propagation warning-propagation
Last synced: 20 Jan 2026
https://github.com/imandra-ai/abstract-transition-systems
[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration
cdcl dpll-algorithm formalization ocaml sat smt
Last synced: 16 Mar 2025
https://github.com/curiousci/symbolic-ai
Artificial Intelligence @ uniroma1
csp planning probabilistic-ai sat symbolic-ai
Last synced: 24 Sep 2025
https://github.com/feimx/csd-converter
This package allow convert CSD (cer and key files) to pem files
cfdi33 csd electronica facturacion mexico sat
Last synced: 29 May 2026
https://github.com/krescruz/fiscal-validator
Validators python for fiscal data in México
Last synced: 30 Aug 2025
