-
Notifications
You must be signed in to change notification settings - Fork 5
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Support cardinality clauses within more complex logic
enhancementNew feature or requestNew feature or requestStatus: Open.#116 In infiniteopt/DisjunctiveProgramming.jl;Add Summarizing Printing Methods
enhancementNew feature or requestNew feature or requestStatus: Open.#101 In infiniteopt/DisjunctiveProgramming.jl;Support Cardinality Constraints with Logical Expressions
enhancementNew feature or requestNew feature or requestStatus: Open.#99 In infiniteopt/DisjunctiveProgramming.jl;Support Methods to Query and Modify Disjunct Constraints
enhancementNew feature or requestNew feature or requestStatus: Open.#95 In infiniteopt/DisjunctiveProgramming.jl;Reformulation method specific to constraint
enhancementNew feature or requestNew feature or requestStatus: Open.#66 In infiniteopt/DisjunctiveProgramming.jl;Look into Alternate CNF
enhancementNew feature or requestNew feature or requestStatus: Open.#59 In infiniteopt/DisjunctiveProgramming.jl;Calculate BigM parameter for nonlinear constraints
enhancementNew feature or requestNew feature or requestStatus: Open.#56 In infiniteopt/DisjunctiveProgramming.jl;Implement more Reformulation Methods
enhancementNew feature or requestNew feature or requestStatus: Open.#41 In infiniteopt/DisjunctiveProgramming.jl;Warn user if big M provided is too small
enhancementNew feature or requestNew feature or requestStatus: Open.#32 In infiniteopt/DisjunctiveProgramming.jl;