#

satifiability

Here are 3 public repositories matching this topic...

solhop / rsat

SAT Solver

sat-solver sat sls cdcl unsat satifiability

Updated Jun 26, 2021
Rust

M4D-A / DPLL

DPLL SAT-solver implementation

solver sat satifiability

Updated Feb 2, 2022
C

murumura / SAT-Problem

Solving Latin-Square & Sudoku problem by Z3-Solver and Qiskit-Solver

python sudoku sat-solver sat z3-smt-solver qiskit satifiability sat-solvers

Updated Jan 12, 2023
Python

Improve this page

Add a description, image, and links to the satifiability topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the satifiability topic, visit your repo's landing page and select "manage topics."