Links to tools by subject

Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research

Julia package for parsing, manipulating and evaluating formulas in first-order logic.

Go (golang) bindings for Picosat, the satisfiability solver

A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム

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

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 tiny implementation of logical resolution.

solving Random 3-SAT(Boolean satisfiability problem) using simulated annealing.

CO440 Software Reliability Coursework 1: Implement a SAT fuzzer

Very Large Scale Integration project for CDMO class at @unibo

A Satisfiability Solver for Hyperproperties

A SAT solver written in Rust

SAT solver for education

Console application for calculating propositional calculus formulas. Can create truth tables, show steps to result, check for validity, etc. Programmed in C#.

Optimized 32-Bit Full Adder, CEC-SAT Verifier & 2-SAT Solver

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

A simple combinatorial boolean sat solver based on the AC-3 Algorithm

Demonstrations of a Python Satisfiability Modulo Theory (SMT) solver in action used to solve Suko & Sudoku puzzles

Boolean Satisfiability Problem Solver