wmpy
Home page
Theory
Get started
Jupyter tutorials
API reference
wmpy.core
wmpy.core.assignmentconverter
wmpy.core.inequality
wmpy.core.polynomial
wmpy.core.polytope
wmpy.core.utils
wmpy.core.utils.is_atom
wmpy.core.utils.is_clause
wmpy.core.utils.is_cnf
wmpy.core.utils.is_literal
wmpy.core.utils.BooleanSimplifier
wmpy.core.utils.LiteralNormalizer
wmpy.core.weights
wmpy.enumeration
wmpy.integration
wmpy.optimization
wmpy.sampling
wmpy.solvers
Development
wmpy
wmpy
wmpy.core
wmpy.core.utils
wmpy.core.utils.is_cnf
wmpy.core.utils.is_cnf
¶
is_cnf
(
formula
)
[source]
¶
Returns true iff formula is in Conjunctive Normal Form.
Return type
:
bool