This repository has been archived by the owner on May 10, 2024. It is now read-only.

Use only half-reified constraints where appropriate (#34)#67

Open

lalithsuresh wants to merge 6 commits intomasterfrom hr

+251-132

Commits on Sep 22, 2020

dcm-test: add a test case for soft constraint based on In
lalithsuresh
committed
or-tools: half-reification for top-level hard constraints
lalithsuresh
committed
or-tools: add a configuration option for toggling top-level use of half-reification
lalithsuresh
committed
or-tools: add @beta annotation for half-reification setting
lalithsuresh
committed
benchmarks: update OrToolsEncodingBenchmark to check syntax
lalithsuresh
committed
dcm-tests: always test against both sets of solvers
lalithsuresh
committed