A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.
-
Updated
Aug 4, 2022 - C
#
satisfiability
Here are 12 public repositories matching this topic...
An efficient minimal perfect hash function generator for small sets
-
Updated
Dec 12, 2020 - C
constraint-satisfaction-problem sat-solver variational-inference belief-propagation satisfiability nips-2018
-
Updated
Nov 27, 2018 - C
Yet Another Sat solvER
conflict-resolution solver first-order-logic satisfiability-modulo-theories sat-solver cdcl-algorithm propositional-logic smt smt-solver formal-verification sat backtracking-search resolution-proof satisfiability dpll-algorithm propositional-resolution conflict-based-search conflict-driven-clause-learning dpll-solver theory-solver
-
Updated
Aug 11, 2025 - C
Verifies SAT solver output. Uses drat-trim proof checker for UNSAT instances.
-
Updated
May 25, 2020 - C
A simple combinatorial boolean sat solver based on the AC-3 Algorithm
-
Updated
Aug 5, 2017 - C
Implementation of the DPLL algorithm for solving the satisfiability problem of propositional logic
-
Updated
Jun 28, 2021 - C
První projekt z předmětu IZLO.
-
Updated
Mar 9, 2023 - C
Lingeling SAT Solver fork with CMake build
-
Updated
Apr 13, 2024 - C
Simple DPLL-based solver with unit-propagation rule
-
Updated
Nov 12, 2022 - C
Improve this page
Add a description, image, and links to the satisfiability topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the satisfiability topic, visit your repo's landing page and select "manage topics."