FRDCSA
Minor
Internal
External
Git
Packages
caqe-2
Jump To:
Parent Description
CAQE is a certifying solver for quantified Boolean formulas (QBF) in prenex conjunctive normal form (PNCF).
It is based on a recursive counterexample guided abstraction refinement (CEGAR) algorithm.