satisfiability-solver
Here are 33 public repositories matching this topic...
A Satisfiability Solver for Hyperproperties
-
Updated
Apr 29, 2024 - C++
Links to tools by subject
-
Updated
Mar 19, 2024
solving Random 3-SAT(Boolean satisfiability problem) using simulated annealing.
-
Updated
Nov 3, 2023 - Python
A lightweight tool for the visualization and analysis of event log files (JSON format) generated by SAT, ASP, SMT and other kinds of constraint solvers
-
Updated
Aug 1, 2023 - Scala
A Python-Qiskit-based package that provides capabilities of easily generating, executing and analyzing quantum circuits for satisfiability problems according to user-defined constraints. The circuits being generated by the program are based on Grover's algorithm and its amplitude-amplification generalization.
-
Updated
Jun 1, 2023 - HTML
Just good ol' minisat with some quality of life improvements and weak/strong assumptions
-
Updated
May 13, 2023 - C++
Console application for calculating propositional calculus formulas. Can create truth tables, show steps to result, check for validity, etc. Programmed in C#.
-
Updated
Apr 6, 2022 - C#
CEC-SAT Verifier, Optimized 32-Bit Full Adder & 2-SAT Solver
-
Updated
Mar 21, 2022 - Java
Optimized 32-Bit Full Adder, CEC-SAT Verifier & 2-SAT Solver
-
Updated
Dec 1, 2023 - C++
SudokuAreEz-SAT are project implement Mathematics Logic using Boolean Satisfiability to solve Sudoku puzzle.
-
Updated
Jan 31, 2022 - Python
A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム
-
Updated
Nov 3, 2021 - D
Demonstrations of a Python Satisfiability Modulo Theory (SMT) solver in action used to solve Suko & Sudoku puzzles
-
Updated
Sep 30, 2021 - Python
Very Large Scale Integration project for CDMO class at @unibo
-
Updated
Aug 31, 2021 - Python
-
Updated
Aug 4, 2021 - Java
software tool for solving a single machine scheduling (SMS) problem using a MiniZinc framework for constraint satisfaction problems (CSP)
-
Updated
Jun 2, 2021 - Python
📈 Implementation of a SAT solver to solve satisfiability problems.
-
Updated
Apr 26, 2021 - C++
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
Demonstration of BDD-based SAT solver that generates checkable proofs of unsatisfiability. Details provided in paper: R. E. Bryant and M. J. H. Heule, "Generating Extended Resolution Proofs in a BDD-based SAT Solver," TACAS 2021
-
Updated
Dec 27, 2020 - Python
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."