johnyf/tool_lists

Links to tools by subject

Size: 63.5 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 375 - Forks: 83

marcelwa/CEGIS

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

Language: C++ - Size: 15.6 KB - Last synced at: 12 months ago - Pushed at: over 8 years ago - Stars: 43 - Forks: 6

roberthoenig/FirstOrderLogic.jl

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

Language: Julia - Size: 29.3 KB - Last synced at: 18 days ago - Pushed at: about 5 years ago - Stars: 19 - Forks: 6

wkschwartz/pigosat

Go (golang) bindings for Picosat, the satisfiability solver

Language: C - Size: 250 KB - Last synced at: 10 months ago - Pushed at: about 7 years ago - Stars: 15 - Forks: 4

private-yusuke/sat-d 📦

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

Language: D - Size: 1.17 MB - Last synced at: 3 days ago - Pushed at: over 3 years ago - Stars: 9 - Forks: 0

ohadlev77/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 - Size: 5.28 MB - Last synced at: 5 months ago - Pushed at: almost 2 years ago - Stars: 7 - Forks: 1

rebryant/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 - Size: 160 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 0

reactive-systems/eahyper

A Satisfiability Solver for Hyperproperties

Language: C++ - Size: 4.31 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 3 - Forks: 1

gmurro/VLSI

Very Large Scale Integration project for CDMO class at @unibo

Language: Python - Size: 15.1 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 4

yebuzhen/SAT-Fuzzer

CO440 Software Reliability Coursework 1: Implement a SAT fuzzer

Language: Python - Size: 126 KB - Last synced at: 12 months ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 0

schwering/sat

SAT solver for education

Language: TeX - Size: 13.1 MB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0

ayberkt/resolution

A tiny implementation of logical resolution.

Language: OCaml - Size: 40 KB - Last synced at: 10 days ago - Pushed at: about 8 years ago - Stars: 3 - Forks: 0

SauravMaheshkar/sat-rs

A SAT solver written in Rust

Language: Rust - Size: 85 KB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0

jamestiotio/DigiAlpha

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

Language: C++ - Size: 6.96 MB - Last synced at: 12 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

Amirarsalan-sn/RTI-solved-using-simulated-annealing

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

Language: Python - Size: 11.7 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

DerEasy/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# - Size: 7.04 MB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

sebsikora/pysmt_demos

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

Language: Python - Size: 2.93 KB - Last synced at: 24 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

ben-marshall/sat-solver

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

Language: C - Size: 156 KB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 1

afifabroory/SudokuAreEz-SAT

SudokuAreEz-SAT are project implement Mathematics Logic using Boolean Satisfiability to solve Sudoku puzzle.

Language: Python - Size: 297 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

MatthiasNickles/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 - Size: 479 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

lou1306/plancksat

Just good ol' minisat with some quality of life improvements and weak/strong assumptions

Language: C++ - Size: 132 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

Huy0720/2D-Project

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

Language: Java - Size: 347 KB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

ashvah/sat-solver

A simple implementation of DPLL

Language: Java - Size: 19.5 KB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

alinpahontu2912/SAT-Problem-Reduction

Language: Java - Size: 13.7 KB - Last synced at: 27 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

Silviatulli/single-machine-scheduling

software tool for solving a single machine scheduling (SMS) problem using a MiniZinc framework for constraint satisfaction problems (CSP)

Language: Python - Size: 16.6 KB - Last synced at: 3 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

kuanhungchen/Spring-2020-Applied-Mathematical-Logic

📈 Implementation of a SAT solver to solve satisfiability problems.

Language: C++ - Size: 4.59 MB - Last synced at: about 2 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

sorinabuf/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 - Size: 21.5 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

YingjieQiao/SATSolver

Boolean Satisfiability Problem Solver

Language: Java - Size: 1.08 MB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 1

ferhaterata/microsat-cpp

micro SAT solver written in c++

Language: C++ - Size: 33.2 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

HicrestLaboratory/yasmin

SAT ASP solver on Multi-GPU systems

Size: 14.6 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

nitzmali/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 - Size: 161 KB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 1

cowlingj/OpenSAT

A SAT solver for propositional clauses in cnf form

Language: OCaml - Size: 1.16 MB - Last synced at: 5 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 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

Size: 1000 Bytes - Last synced at: 9 months ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

R6/FirstOrderLogic.jl

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

Language: Julia - Size: 60.5 KB - Last synced at: 10 months ago - Stars: 0 - Forks: 0