minisat
Here are 46 public repositories matching this topic...
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++
SAT-based Sudoku solver, written in Python.
-
Updated
Apr 17, 2017 - C
Sudoku Solver by constraint satisfaction problem (CSP) using heuristics - Minimum Remaining Value (MRV), Least Common Value (LCV), Maintainin Arc Consistency (MAC). Secondly, by converting to Satisfiability Problem (SAT) and using a sat solver (miniSAT).
-
Updated
May 11, 2017 - Java
Hands-on Constraint Solving: Sudoku to SAT/SMT
-
Updated
Oct 8, 2017 - Ruby
Subgraph isomorphism using SAT Solving
-
Updated
Oct 7, 2018 - Python
Decision Table-Based Testing
-
Updated
Nov 16, 2018 - Python
Simple Sokoban solver using SAT solver Minisat
-
Updated
Nov 21, 2018 - Python
Experimental minisat SAT solver reimplementation in Rust
-
Updated
Aug 10, 2019 - Rust
A simple partial unweighted MaxSAT Solver that uses a Minisat backbone
-
Updated
Sep 10, 2019 - C++
A Header-Only CDCL SAT Solver for Programming Contest
-
Updated
Oct 2, 2019 - C++
Compile MiniSat to WebAssembly using emscripten
-
Updated
Jan 15, 2020 - C++
Combinational Logic Circuits SAT analyzer.
-
Updated
Mar 26, 2020 - C++
Collection of assignments given by Prof. Mausam in the COL333 course
-
Updated
Apr 28, 2020 - C++
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
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."