Issues

• Support cardinality clauses within more complex logic

  enhancement
  infiniteopt/DisjunctiveProgramming.jl#116 · Filter by author dovallev opened on Mar 28, 2024
  6

• Add Summarizing Printing Methods

  enhancement
  infiniteopt/DisjunctiveProgramming.jl#101 · Filter by author pulsipher opened on Dec 8, 2023

• Support Cardinality Constraints with Logical Expressions

  enhancement
  infiniteopt/DisjunctiveProgramming.jl#99 · Filter by author pulsipher opened on Dec 7, 2023
  2

• Support Methods to Query and Modify Disjunct Constraints

  enhancement
  infiniteopt/DisjunctiveProgramming.jl#95 · Filter by author pulsipher opened on Dec 5, 2023

• Reformulation method specific to constraint

  enhancement
  infiniteopt/DisjunctiveProgramming.jl#66 · Filter by author hdavid16 opened on Aug 1, 2023

• Look into Alternate CNF

  enhancement
  infiniteopt/DisjunctiveProgramming.jl#59 · Filter by author hdavid16 opened on Oct 8, 2022
  1

• Calculate BigM parameter for nonlinear constraints

  enhancement
  infiniteopt/DisjunctiveProgramming.jl#56 · Filter by author hdavid16 opened on Sep 13, 2022
  1

• Warn user if big M provided is too small

  enhancement
  infiniteopt/DisjunctiveProgramming.jl#32 · Filter by author hdavid16 opened on Mar 31, 2022
  1