#
satisfiability-solver
Here are 5 public repositories matching this topic...
Gigel and Mafia is an algorithm oriented course homework exploiting graph representations of relationships between clans of Mafia families primarily through reductions to the Boolean Satisfiability Problem. Its implementation is conducted in Java.
-
Updated
Mar 8, 2021 - Java
-
Updated
Aug 4, 2021 - Java
CEC-SAT Verifier, Optimized 32-Bit Full Adder & 2-SAT Solver
satisfiability-solver
hardware-designs
adder
algorithms-and-data-structures
dpll-algorithm
implication-graph
kosaraju-algorithm
-
Updated
Mar 21, 2022 - Java
Improve this page
Add a description, image, and links to the satisfiability-solver topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the satisfiability-solver topic, visit your repo's landing page and select "manage topics."