rust-sat

SAT solving with Rust

Stars

3

Forks

1

Language

Rust

Last Updated

Nov 30, 2020

Similar Repos
Repo Language Stars Description Updated At
Python 3 Solving Nonograms with SAT solvers Apr 18, 2023
Rust 2 Solving Sudoku variants with SAT solvers May 01, 2024
None 2 SAT and SMT solving. Dec 27, 2023
TeX 3 Solving Yajilin problems with a SAT solver Aug 30, 2019
C++ 22 Solving sudoku as a SAT problem Aug 31, 2021
Rust 3 Efficient and customizable CNF parser for SAT solving. Mar 27, 2022
Rust 166 Solving Project Euler with Rust Jul 17, 2022
Python 3 An educational purposes repository with algorithms for solving SAT problems with Groebner Bases. Jan 09, 2022
C++ 4 🕵️ Solving MAPF under map-to-subgraph transformation with SAT and ASP Aug 09, 2023
Rust 8 A sat solver in rust Dec 10, 2022
Rust 5 a toy Rust SAT solver Nov 09, 2022
Scala 48 Probabilistic Answer Set and SAT solver based on Differentiable Satisfiability :::::: Use cases, e.g., Probabilistic … May 27, 2023
Rust 2 🏔 SAT solver wrappers for Rust Oct 24, 2023
C++ 27 A research platform and active library for generalised SAT solving Mar 04, 2023
Rust 29 A modern CDCL SAT solver in Rust Jul 28, 2022
Rust 2 Rust bindings for the Kissat SAT Solver Oct 23, 2023
Haskell 5 SATyros, small SAT/SMT sovler library for step-by-step solving Nov 19, 2022
None 4 Conjunctive Query Fun, or "How to use a database for SAT solving" Dec 01, 2022
Rust 2 A DPLL SAT solver written in pure Rust Jan 15, 2024
Rust 2 Getting a feeling for Rust with solving Sudoku puzzles Jul 21, 2023
Rust 515 CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. May 03, 2023
Rust 2 advent of code 2020 solutions; racing with python, solving with rust Jan 09, 2021
Rust 27 A (parametrized) Rust SAT solver originally based on MiniSat Mar 02, 2023
Rust 2 My template for solving advent-of-code puzzles with rust Jan 02, 2023
C++ 23 Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud. Jul 29, 2022
Rust 3 devcontainer for solving Rust kata locally Jan 09, 2023
Rust 2 About Codeforces problems solving by Rust Mar 04, 2023
C 2 Linux 2.6 with SAT configuration Mar 29, 2021
Java 9 Constructing automata with SAT solvers Aug 02, 2022
Kotlin 439 History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking) Sep 11, 2022
Rust 7 Simple Rust application for solving Rummikub boards Feb 02, 2023
Rust 2 Trying out Rust by solving AOC 2021 Dec 28, 2021
Rust 2 Utility for solving Wordle and learning Rust. Jan 17, 2022
Shell 3 SAT Documentation Feb 15, 2023
Python 4 SAT solver Aug 15, 2022
JavaScript 3 A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/) Jun 16, 2020
Rust 27 About Baekjoon Online Judge problem solving by Rust Jul 30, 2022
Rust 3 💡 Learning Rust 🦀 By Solving Leetcode Problems. Dec 20, 2021
C++ 29 configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat … Apr 24, 2023
Python 293 Enhancing the Factorio experience with SAT solvers May 23, 2023
Python 2 изготовление pdf карт из Google sat, Yandex sat, Openstreetmaps Sep 23, 2019
Lean 32 Experiments with SAT solvers with proofs in Lean 4 Feb 04, 2023
OCaml 18 An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the … Aug 29, 2022
Rust 4 Coding along to "Solving distributed systems challenges in Rust". Apr 15, 2023
Rust 4 A Rust implementation of the Cassowary constraint solving algorithm Apr 24, 2023
Rust 306 A Rust implementation of the Cassowary constraint solving algorithm May 21, 2023
Haskell 8 Brainfuck 2 SAT Jan 28, 2023
Shell 2 SAT Product Stream Feb 15, 2023
C++ 2 CaDiCaL SAT Solver Jan 06, 2023
C++ 8 Riss SAT Solver Jan 10, 2023