Search results

Support cardinality clauses within more complex logic

enhancementNew feature or requestNew feature or request

Status: Open.

#116 In infiniteopt/DisjunctiveProgramming.jl;

· dovallev opened on Mar 28, 2024

Add Summarizing Printing Methods

enhancementNew feature or requestNew feature or request

Status: Open.

#101 In infiniteopt/DisjunctiveProgramming.jl;

· pulsipher opened on Dec 8, 2023

Support Cardinality Constraints with Logical Expressions

enhancementNew feature or requestNew feature or request

Status: Open.

#99 In infiniteopt/DisjunctiveProgramming.jl;

· pulsipher opened on Dec 7, 2023

Support Methods to Query and Modify Disjunct Constraints

enhancementNew feature or requestNew feature or request

Status: Open.

#95 In infiniteopt/DisjunctiveProgramming.jl;

· pulsipher opened on Dec 5, 2023

Reformulation method specific to constraint

enhancementNew feature or requestNew feature or request

Status: Open.

#66 In infiniteopt/DisjunctiveProgramming.jl;

· hdavid16 opened on Aug 1, 2023

Look into Alternate CNF

enhancementNew feature or requestNew feature or request

Status: Open.

#59 In infiniteopt/DisjunctiveProgramming.jl;

· hdavid16 opened on Oct 8, 2022

Calculate BigM parameter for nonlinear constraints

enhancementNew feature or requestNew feature or request

Status: Open.

#56 In infiniteopt/DisjunctiveProgramming.jl;

· hdavid16 opened on Sep 13, 2022

Implement more Reformulation Methods

enhancementNew feature or requestNew feature or request

Status: Open.

#41 In infiniteopt/DisjunctiveProgramming.jl;

· hdavid16 opened on May 9, 2022

Warn user if big M provided is too small

enhancementNew feature or requestNew feature or request

Status: Open.

#32 In infiniteopt/DisjunctiveProgramming.jl;

· hdavid16 opened on Mar 31, 2022