satisfiability-solver
There are 0 repository under satisfiability-solver topic.
johnyf / tool_lists
Links to tools by subject
marcelwa / CEGIS
Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research
Language:C++ 44roberthoenig / FirstOrderLogic.jl
Julia package for parsing, manipulating and evaluating formulas in first-order logic.
Language:Julia 19wkschwartz / pigosat
Go (golang) bindings for Picosat, the satisfiability solver
Language:C 15private-yusuke / sat-d
A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム
Language:D 9ohadlev77 / sat-circuits-engine
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.
Language:HTML 7rebryant / pgbdd-artifact
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
Language:Python 7Amirarsalan-sn / RTI-solved-using-simulated-annealing
solving Random 3-SAT(Boolean satisfiability problem) using simulated annealing.
Language:Python 3ayberkt / resolution
A tiny implementation of logical resolution.
Language:OCaml 3- Language:Python 3
reactive-systems / eahyper
A Satisfiability Solver for Hyperproperties
Language:C++ 3yebuzhen / SAT-Fuzzer
CO440 Software Reliability Coursework 1: Implement a SAT fuzzer
Language:Python 3- Language:Rust 2
- Language:TeX 2
ben-marshall / sat-solver
A simple combinatorial boolean sat solver based on the AC-3 Algorithm
Language:C 1DerEasy / Propositional-Calculator
Console application for calculating propositional calculus formulas. Can create truth tables, show steps to result, check for validity, etc. Programmed in C#.
Language:C# 1jamestiotio / DigiAlpha
Optimized 32-Bit Full Adder, CEC-SAT Verifier & 2-SAT Solver
Language:C++ 1MatthiasNickles / Satalyzer
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
Language:Scala 1sebsikora / pysmt_demos
Demonstrations of a Python Satisfiability Modulo Theory (SMT) solver in action used to solve Suko & Sudoku puzzles
Language:Python 1afifabroory / SudokuAreEz-SAT
SudokuAreEz-SAT are project implement Mathematics Logic using Boolean Satisfiability to solve Sudoku puzzle.
Language:Python 0- Language:Java 0
AnnieZhou08 / SATsolver
A satisfiability solver written in Racket that determines whether a logical statement is provable when entered in conjunctive normal form using DFS algorithm
0- Language:Java 0
- Language:C++ 0
HicrestLaboratory / yasmin
SAT ASP solver on Multi-GPU systems
0Huy0720 / 2D-Project
CEC-SAT Verifier, Optimized 32-Bit Full Adder & 2-SAT Solver
Language:Java 0lou1306 / plancksat
Just good ol' minisat with some quality of life improvements and weak/strong assumptions
Language:C++ 0nitzmali / Artificial-Intelligence-Minesweeper
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.
Language:Python 0Silviatulli / single-machine-scheduling
software tool for solving a single machine scheduling (SMS) problem using a MiniZinc framework for constraint satisfaction problems (CSP)
Language:Python 0sorinabuf / Reductions-to-SAT-Problem
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.
Language:Java 0- Language:Java 0
- Language:OCaml
kuanhungchen / Spring-2020-Applied-Mathematical-Logic
📈 Implementation of a SAT solver to solve satisfiability problems.
Language:C++
