Shows how a specially designed pipeline can solve the satisfiability problem for True Quantified Boolean Formulas (TQBF). More...

Classes
class	Formula1
	Solves the QBF problem for the formula: ∀x ∃y ∃z : (x ∨ y) ∧ (¬x ∨ c) ∧ (¬y ∨ ¬ z) The pipeline to solve this problem is the following: More...

class	InputVariable

class	QuantifiedBooleanVariable

Detailed Description

Shows how a specially designed pipeline can solve the satisfiability problem for True Quantified Boolean Formulas (TQBF).

Classes