Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.
-
Updated
Aug 2, 2023 - C++
#
circuitsat
Here are 2 public repositories matching this topic...
A Circuit SAT language that emit CNF code.
-
Updated
Jun 28, 2022 - Python
Add this topic to your repo
To associate your repository with the circuitsat topic, visit your repo's landing page and select "manage topics."