Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research
-
Updated
Jan 8, 2017 - C++
Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research
A tiny implementation of logical resolution.
A satisfiability solver written in Racket that determines whether a logical statement is provable when entered in conjunctive normal form using DFS algorithm
A simple combinatorial boolean sat solver based on the AC-3 Algorithm
A SAT solver for propositional clauses in cnf form
Go (golang) bindings for Picosat, the satisfiability solver
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.
SAT ASP solver on Multi-GPU systems
Julia package for parsing, manipulating and evaluating formulas in first-order logic.
CO440 Software Reliability Coursework 1: Implement a SAT fuzzer
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
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.
📈 Implementation of a SAT solver to solve satisfiability problems.
software tool for solving a single machine scheduling (SMS) problem using a MiniZinc framework for constraint satisfaction problems (CSP)
Very Large Scale Integration project for CDMO class at @unibo
Demonstrations of a Python Satisfiability Modulo Theory (SMT) solver in action used to solve Suko & Sudoku puzzles
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."