Pyomo

Getting Started

How-To Guides

Explanations

Reference Guides
- Topical Reference
- Library Reference
  - common
  - contrib
  - core
    - base
    - beta
    - expr
      - base
      - boolean_value
      - calculus
      - cnf_walker
        
        CNF_Pyomo2SympyVisitor
        
        to_cnf
      - compare
      - expr_common
      - expr_errors
      - logical_expr
      - ndarray
      - numeric_expr
      - numvalue
      - relational_expr
      - symbol_map
      - sympy_tools
      - taylor_series
      - template_expr
      - visitor
    - kernel
    - plugins
    - pyomoobject
    - staleflag
    - util
  - dae
  - dataportal
  - duality
  - environ
  - future
  - gdp
  - kernel
  - mpec
  - neos
  - network
  - opt
  - repn
  - scripting
  - solvers
  - util
  - version
- Accessing preview features
- Common Warnings/Errors
- Related Packages
- Publications
- Bibliography

Pyomo

Reference Guides
Library Reference
core
expr
cnf_walker
View page source

cnf_walker

Classes

CNF_Pyomo2SympyVisitor(object_map, bool_varlist)

Functions

to_cnf(expr[, bool_varlist, ...])

Converts a Pyomo logical constraint to CNF form.

Previous Next

© Copyright 2008-2024, Sandia National Laboratories.

Built with Sphinx using a theme provided by Read the Docs.