Caution

The features of this module and its documentation are still in development.

SEPQBF

Author

Marcel Simader

Date

18.07.2021

New in version 1.4.0.

PQBF

class SEPModules.maths.SEPQBF.PQBF(prefix, matrix)

PQBF represents a quantified boolean formula in “prenex” form. The class contains a prefix, which consists of the quantifiers, and a matrix which consists of the formula itself.