satisfiability-solver
Here are 33 public repositories matching this topic...
A SAT solver for propositional clauses in cnf form
-
Updated
Jan 8, 2018 - OCaml
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.
-
Updated
Mar 2, 2018 - Python
📈 Implementation of a SAT solver to solve satisfiability problems.
-
Updated
Apr 26, 2021 - C++
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.
-
Updated
Mar 8, 2021 - Java
Just good ol' minisat with some quality of life improvements and weak/strong assumptions
-
Updated
May 13, 2023 - C++
A satisfiability solver written in Racket that determines whether a logical statement is provable when entered in conjunctive normal form using DFS algorithm
-
Updated
May 7, 2017
SudokuAreEz-SAT are project implement Mathematics Logic using Boolean Satisfiability to solve Sudoku puzzle.
-
Updated
Jan 31, 2022 - Python
SAT ASP solver on Multi-GPU systems
-
Updated
Jun 5, 2019
software tool for solving a single machine scheduling (SMS) problem using a MiniZinc framework for constraint satisfaction problems (CSP)
-
Updated
Jun 2, 2021 - Python
A simple combinatorial boolean sat solver based on the AC-3 Algorithm
-
Updated
Aug 5, 2017 - C
-
Updated
Aug 4, 2021 - Java
CEC-SAT Verifier, Optimized 32-Bit Full Adder & 2-SAT Solver
-
Updated
Mar 21, 2022 - Java
Optimized 32-Bit Full Adder, CEC-SAT Verifier & 2-SAT Solver
-
Updated
Dec 1, 2023 - C++
Console application for calculating propositional calculus formulas. Can create truth tables, show steps to result, check for validity, etc. Programmed in C#.
-
Updated
Apr 6, 2022 - C#
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
-
Updated
Aug 1, 2023 - Scala
Demonstrations of a Python Satisfiability Modulo Theory (SMT) solver in action used to solve Suko & Sudoku puzzles
-
Updated
Sep 30, 2021 - Python
Very Large Scale Integration project for CDMO class at @unibo
-
Updated
Aug 31, 2021 - Python
Improve this page
Add a description, image, and links to the satisfiability-solver topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the satisfiability-solver topic, visit your repo's landing page and select "manage topics."