wmpy.core.utils

This module implements some useful methods used throughout the code.

Functions

is_atom	Returns true iff node is a propositional or theory atom.
is_clause	Returns true iff formula is a disjuction of literals.
is_cnf	Returns true iff formula is in Conjunctive Normal Form.
is_literal	Returns true iff node is an atom or its negation.

Classes

BooleanSimplifier	Simplifier that only performs Boolean simplifications.
LiteralNormalizer	A helper class for normalizing literals.