Creating the interesting QBF fomulas to be solved and used as the basis for the preprocessing efficiency check. The database is too large and do not contain the SAT/UNSAT/Timings description. So, create a subset of the database that will act as a base for testing out tool.
arey0pushpa/synthetic_qbf_formulas
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|