Formulas Module

The Formulas module provides classes for the easy loading and manipulation of SAT, MaxSAT, and QBF formulas.

Contents:

• CNF Formula
• WCNF Formula
• QCNF Formula
• VarManager
• Methods sumary
• Formula Loading utilities
• Formula visualization