Skip to content

Files

Latest commit

arey0pushpaarey0pushpa
Update README.md
Feb 19, 2021
a6c9a52 · Feb 19, 2021

History

History
3 lines (2 loc) · 175 Bytes

README.md

File metadata and controls

3 lines (2 loc) · 175 Bytes

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.