Links to tools by subject
-
Updated
Mar 19, 2024
Links to tools by subject
Julia package for parsing, manipulating and evaluating formulas in first-order logic.
Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research
Go (golang) bindings for Picosat, the satisfiability solver
Very Large Scale Integration project for CDMO class at @unibo
Takes Input for each cell which is a dictionary data structure used to expand its Knowledge base using intelligent tracking, constraint specification, logic and satisfiability.
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.
A Satisfiability Solver for Hyperproperties
A simple combinatorial boolean sat solver based on the AC-3 Algorithm
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.
Just good ol' minisat with some quality of life improvements and weak/strong assumptions
A SAT solver for propositional clauses in cnf form
Optimized 32-Bit Full Adder, CEC-SAT Verifier & 2-SAT Solver
📈 Implementation of a SAT solver to solve satisfiability problems.
Console application for calculating propositional calculus formulas. Can create truth tables, show steps to result, check for validity, etc. Programmed in C#.
A satisfiability solver written in Racket that determines whether a logical statement is provable when entered in conjunctive normal form using DFS algorithm
SudokuAreEz-SAT are project implement Mathematics Logic using Boolean Satisfiability to solve Sudoku puzzle.
SAT ASP solver on Multi-GPU systems
Add a description, image, and links to the satisfiability-solver topic page so that developers can more easily learn about it.
To associate your repository with the satisfiability-solver topic, visit your repo's landing page and select "manage topics."