Stars
2
Forks
0
Language
None
Last Updated
Jul 04, 2021
Similar Repos
Repo | Language | Stars | Description | Updated At |
---|---|---|---|---|
Python | 3 | Solving Nonograms with SAT solvers | Apr 18, 2023 | |
None | 2 | Multi-agent path finding (MAPF), Token Swapping (TSWAP) and related solvers. Among others SMT-based solvers, variants … | Jul 04, 2021 | |
Python | 3 | Finding Efficient Circuits Using SAT-solvers | Aug 18, 2021 | |
Rust | 2 | Solving Sudoku variants with SAT solvers | May 01, 2024 | |
Python | 11 | Sudoku solver based on SAT (Boolean Satisfiability) in python | Aug 19, 2022 | |
C++ | 2 | a common C++11 SAT solver interface for different SAT solvers | Apr 03, 2020 | |
Rust | 2 | Determines the satisfiability of a propositional formula using the Propositional Tableaux method | Sep 20, 2020 | |
Scala | 48 | Probabilistic Answer Set and SAT solver based on Differentiable Satisfiability :::::: Use cases, e.g., Probabilistic … | May 27, 2023 | |
TeX | 3 | Solving Yajilin problems with a SAT solver | Aug 30, 2019 | |
C++ | 4 | 🕵️ Solving MAPF under map-to-subgraph transformation with SAT and ASP | Aug 09, 2023 | |
OCaml | 3 | Propositional logic SAT solver using the DPLL method. Supported by a lexer, parser, and clause … | May 07, 2023 | |
Haskell | 3 | A simple Sudoku solver that I've done to experiment with SAT/SMT solvers. | May 17, 2022 | |
Python | 293 | Enhancing the Factorio experience with SAT solvers | May 23, 2023 | |
C | 15 | Go (golang) bindings for Picosat, the satisfiability solver | Sep 07, 2021 | |
Python | 4 | SAT solver using the DPLL algorithm | Jan 26, 2023 | |
C++ | 2 | The Glucose SAT Solver (CMake Edition) | Oct 18, 2021 | |
Python | 5 | Build logical theories for SAT solvers on the fly | Dec 29, 2022 | |
None | 2 | sat solver in the jai programming language | Jun 27, 2022 | |
Julia | 23 | Julia bindings to the SAT solver picosat | Nov 16, 2021 | |
C++ | 2 | Repository mirror to the Glucose SAT solver. | May 11, 2023 | |
Rust | 2 | Rust bindings for the Kissat SAT Solver | Oct 23, 2023 | |
Python | 32 | SAT-based solver for the Hexiom logic puzzle | Mar 11, 2023 | |
C++ | 29 | configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat … | Apr 24, 2023 | |
C | 15 | The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb. | Dec 29, 2023 | |
F# | 16 | A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework. | Oct 19, 2021 | |
Jupyter Notebook | 3 | This package contains the Airburst solver for solving and the Airblast damage mapper for analysis. | Apr 03, 2023 | |
C++ | 21 | This is a multi-agent path planning(also known as Multi-Agent Path Finding, MAPF) algorithm package for … | May 11, 2023 | |
C++ | 2 | Solving the problem of finding a larger, nearest palindrome. | Apr 17, 2023 | |
Jupyter Notebook | 2 | SAT solver for Sudoku's for the UvA MSc AI course Knowledge Representation | Oct 29, 2021 | |
OCaml | 5 | SAT solver (for teaching purposes in the course Logic in computer science) | Dec 24, 2021 | |
Makefile | 3 | The examples for solving BalanceQP and Convex-MPC by using QP-solvers. | May 11, 2024 | |
Python | 5 | Empirical evaluation for the EMSE journal extension "Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces" | Apr 19, 2023 | |
C++ | 23 | Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud. | Jul 29, 2022 | |
Fortran | 2 | 3D solver of the NEXD package | Sep 21, 2020 | |
Rust | 3 | 🍊 A SAT solver the size of a Satsuma intended for readability and efficiency. | Apr 07, 2021 | |
Haskell | 2 | SAT solver implemented in Haskell for course Knowledge Representation (2019) at the Vrije Universiteit. | Oct 29, 2021 | |
Python | 106 | Solver-in-the-Loop: Learning from Differentiable Physics to Interact with Iterative PDE-Solvers | Aug 16, 2022 | |
Jupyter Notebook | 19 | A wrapper around the SGP4 package, for sat TLE calculations | Mar 20, 2023 | |
Rust | 5 | Utilities to parse files in DIMACS format which is the de-facto standard for input to … | Dec 21, 2022 | |
JavaScript | 4 | A solver for the popular word-finding game Squaredle (https://squaredle.app) Available at https://minoli-g.github.io/squaredle-solver/ | May 25, 2023 | |
OCaml | 18 | An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the … | Aug 29, 2022 | |
Julia | 2 | Shared package to handle constraints for the different solvers from JuliaConstraints | Nov 15, 2021 | |
C++ | 102 | A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known … | Apr 29, 2022 | |
Julia | 25 | provides a Julia wrapper for the PATH Solver for solving mixed complementarity problems | Jul 24, 2022 | |
C# | 5 | NuGet Package for the Microsoft Solver Foundation Express | Nov 04, 2022 | |
C++ | 10 | A pagmo affiliated package (https://github.com/esa/pagmo2) adding commercial solvers to the list of solvers/algorithms: SNOPT7, WORHP | May 10, 2022 | |
Julia | 6 | Julia wrapper for the Hypre (https://computing.llnl.gov/projects/hypre-scalable-linear-solvers-multigrid-methods) linear solver library | Mar 25, 2022 | |
Java | 3 | A solver and analysis package for the ADFGVX cipher | Jun 02, 2022 | |
MATLAB | 6 | A Matlab package for the damped rank reduction method and its variants. | Feb 22, 2023 | |
Python | 3 | A python package for the damped rank reduction method and its variants. | Jun 28, 2023 |