#
unsat
Here are 7 public repositories matching this topic...
Efficient Explaining CSPs with Unsatisfiable Subset Optimization
-
Updated
Sep 8, 2024 - Jupyter Notebook
Verifies SAT solver output. Uses drat-trim proof checker for UNSAT instances.
-
Updated
May 25, 2020 - C
-
Updated
Aug 9, 2020 - Python
Improve this page
Add a description, image, and links to the unsat topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the unsat topic, visit your repo's landing page and select "manage topics."