qbf.Formula1 Class Reference

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...

Classes
class	Expression
	Representation of the Boolean expression (x ∨ y) ∧ (¬x ∨ c) ∧ (¬y ∨ ¬ z).

Static Public Member Functions
static void	main (String[] args)

Detailed Description

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:

Author

Sylvain Hallé

Definition at line 44 of file Formula1.java.

---

The documentation for this class was generated from the following file:

• Source/src/qbf/Formula1.java