cnf_walker

Classes

CNF_Pyomo2SympyVisitor(object_map, bool_varlist)

Functions

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

将Pyomo逻辑约束转换为CNF形式。