AutFinder:
A tool to find autarkies in the Dependent Quantified CNF formula. The tool supports both QBF and DQBFs and returns an equisatisfiable formula after preprocessing.
arey0pushpa/dcnf-autarky
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
AutFinder:
A tool to find autarkies in the Dependent Quantified CNF formula. The tool supports both QBF and DQBFs and returns an equisatisfiable formula after preprocessing.