Code

Support Logical Complements#118

Code

Merged

pulsipher merged 4 commits intomasterhdavid16/DisjunctiveProgramming.jl:masterfrom invert_logicalhdavid16/DisjunctiveProgramming.jl:invert_logicalCopy head branch name to clipboardOct 4, 2024

+301-99

Commits

Commits on Oct 1, 2024

• Support logical compliments

  pulsipher

  committed
  d77ec04

Commits on Oct 3, 2024

• Update error messages

  pulsipher

  committed
  e17a939

• Update terminology

  pulsipher

  committed
  aa228ac

• fix typo

  pulsipher

  committed
  c896967