PV4 CADET: Cal Incremental Determinizerproduces a satisfiability result for a 2QBF

Application domain/field

Type of tool

2QBF solver

Expected input

2QBF formula

Format:

QDIMACS or QAIGER format

Expected output

Internals

Uses PicoSAT

Comments

CADET is a 2QBF (Quantified Boolean formulas with forall-exists quantifier alternation) solver
QBF

Links

Repository: https://github.com/MarkusRabe/cadet

Last commit date

27 January 2021

Related papers

Last publication date

12 July 2019

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.