minisat
Here are 46 public repositories matching this topic...
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
-
Updated
Apr 10, 2024 - Rust
A Header-Only CDCL SAT Solver for Programming Contest
-
Updated
Oct 2, 2019 - C++
Experimental minisat SAT solver reimplementation in Rust
-
Updated
Aug 10, 2019 - Rust
A Python API for the MiniSat and MiniCard constraint solvers.
-
Updated
Jun 15, 2023 - C++
A (parametrized) Rust SAT solver originally based on MiniSat
-
Updated
May 28, 2024 - Rust
SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay
-
Updated
Sep 16, 2020 - Jupyter Notebook
Compile MiniSat to WebAssembly using emscripten
-
Updated
Jan 15, 2020 - C++
🗿 SAT solver wrappers for Kotlin
-
Updated
Mar 2, 2024 - Kotlin
Hands-on Constraint Solving: Sudoku to SAT/SMT
-
Updated
Oct 8, 2017 - Ruby
SAT-based Sudoku solver, written in Python.
-
Updated
Apr 17, 2017 - C
Collection of assignments given by Prof. Mausam in the COL333 course
-
Updated
Apr 28, 2020 - C++
Check to see if a mapping exists between 2 graphs (subgraph-isomorphism) by developing optimised SAT clauses and solving them using MINISAT.
-
Updated
Nov 27, 2016 - C++
A new fast, light and comprehensive Sudoku library, powered by SAT encoding!
-
Updated
Jul 29, 2023 - TypeScript
Finding shortest path and minimum vertex cover of the street graph.
-
Updated
May 4, 2022 - C++
Faithful reimplementation of Minisat 2.2 in OCaml.
-
Updated
Mar 26, 2023 - OCaml
Windows builds for The Glucose SAT Solver.
-
Updated
Aug 19, 2021 - C++
Improve this page
Add a description, image, and links to the minisat topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the minisat topic, visit your repo's landing page and select "manage topics."