Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/R-O-C-K-E-T/Factorio-SAT
Enhancing the Factorio experience with SAT solvers
Last synced: 26 Jun 2024
https://github.com/alegnani/verifactory
A verifier for Factorio blueprints, enabling one to automatically check logical properties
Last synced: 24 Jun 2024
https://github.com/super7ramp/croissant
A crossword solver backed by various SAT solvers
Last synced: 24 Jun 2024
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: 01 Jun 2024
https://github.com/KyleBing/english-vocabulary
英文单词，英语单词，英语四六级、考研、SAT单词，txt 文件, json 文件，CET4 CET6，乱序，单词
cet4 cet6-words json sat toefl
Last synced: 31 May 2024
https://github.com/edgarogh/inf402
SAT-solver-based takuzu solver
inf402 rust sat sat-solver solver takuzu takuzu-game universite-grenoble-alpes varisat
Last synced: 22 May 2024
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: 22 May 2024
https://github.com/solhop/solhop
SAT and MaxSAT Solver
maxsat maxsat-solver sat sat-solver unsat
Last synced: 22 May 2024
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: 22 May 2024
https://github.com/solhop/rsat
SAT Solver
cdcl sat sat-solver satifiability sls unsat
Last synced: 22 May 2024
https://github.com/solhop/msat
MaxSAT Solver
maxsat maxsat-solver sat satisfiability unsat
Last synced: 22 May 2024
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: 22 May 2024
https://github.com/Lorenzinco/colombiniSAT
A complete 3-SAT solver with polynomial time euristic.
Last synced: 22 May 2024
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: 27 Apr 2024
