Code

Support optimization, second attempt#31

Code

Merged

teiesti merged 3 commits intomasterpotassco/clintest:masterfrom tobias/optimizationpotassco/clintest:tobias/optimizationCopy head branch name to clipboardMar 21, 2024

+95

Commits

Commits on Feb 22, 2024

• Add an assertion that checks if a model is optimal

  teiesti

  committed
  fee1acf

  Copy full SHA for fee1acf

• Add an assertion for implication

  teiesti

  committed
  03722cc

  Copy full SHA for 03722cc

Commits on Feb 29, 2024

• Add an assertion for equivalence

  teiesti

  committed
  aaf6dd2

  Copy full SHA for aaf6dd2