Code

Removed constraints#189

Code

Merged

termoshtt merged 14 commits intomainJij-Inc/ommx:mainfrom removed-constraintsJij-Inc/ommx:removed-constraintsCopy head branch name to clipboardDec 10, 2024

+440-24

Commits

Commits on Dec 9, 2024

• Add RemovedConstraint

  termoshtt

  committed
  8c60676

  Copy full SHA for 8c60676

• stub gen

  termoshtt

  committed
  15ce858

  Copy full SHA for 15ce858

• Update comment

  termoshtt

  committed
  75f0fe8

  Copy full SHA for 75f0fe8

• Add removed_reason and removed_reason_parameters to EvaluatedConstraint and RemovedConstraint

  termoshtt

  committed
  771df1b

  Copy full SHA for 771df1b

• Evaluate RemovedConstraint into EvaluatedConstraint

  termoshtt

  committed
  8d5a0ca

  Copy full SHA for 8d5a0ca

• impl Arbitrary for RemovedConstraint

  termoshtt

  committed
  69649d6

  Copy full SHA for 69649d6

• Instance::relax_constraint

  termoshtt

  committed
  0b5774e

  Copy full SHA for 0b5774e

• Instance::{constraint_ids, restore_constraint}

  termoshtt

  committed
  269dd83

  Copy full SHA for 269dd83

• Generate relax_constraint in arbitrary_instance

  termoshtt

  committed
  2eb6aa1

  Copy full SHA for 2eb6aa1

• Test arbitrary evaluation

  termoshtt

  committed
  44d3068

  Copy full SHA for 44d3068

Commits on Dec 10, 2024

• Merge branch 'main' into removed-constraints

  termoshtt

  committed
  96be026

  Copy full SHA for 96be026

• Restore publicity

  termoshtt

  committed
  358bf23

  Copy full SHA for 358bf23

• Constraints and removed constraints should have disjoint IDs

  termoshtt

  committed
  3b510a0

  Copy full SHA for 3b510a0

• Test removed constraints are evaluated

  termoshtt

  committed
  9c6c611

  Copy full SHA for 9c6c611