diff options
author | Jerry Flood <jflood@att.com> | 2019-04-02 18:51:58 -0400 |
---|---|---|
committer | Jerry Flood <jflood@att.com> | 2019-04-02 18:55:07 -0400 |
commit | 5ec78004e7687167a487895fead0cb16d4fbecf6 (patch) | |
tree | 9120a7b28616b6c23a19288806ad6aaa7c9917f6 /cmso-optimizer/etc | |
parent | 442bb3c2d0ca9c6ecf3ecf5d85dc8fec725a204c (diff) |
Commit 1 for Integrate minizinc optimizer engine
Multiple commits required due to commit size limitation.
Change-Id: I4d0ae7fa585334508e85d021c77fe4ef63d3712b
Issue-ID: OPTFRA-436
Signed-off-by: Jerry Flood <jflood@att.com>
Diffstat (limited to 'cmso-optimizer/etc')
-rw-r--r-- | cmso-optimizer/etc/config/optimizer.properties | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/cmso-optimizer/etc/config/optimizer.properties b/cmso-optimizer/etc/config/optimizer.properties index ac39ec8..641bbeb 100644 --- a/cmso-optimizer/etc/config/optimizer.properties +++ b/cmso-optimizer/etc/config/optimizer.properties @@ -46,4 +46,9 @@ logging.level.org.hibernate=TRACE cmso.topology.create.request.url=http://127.0.0.1:7998/topology/v1/current cmso.ticket.create.request.url=http://127.0.0.1:7999/ticketmgt/v1/activetickets -cmso.local.policy.folder=data/policies
\ No newline at end of file +cmso.local.policy.folder=data/policies + +cmso.minizinc.command.exe="C:/Program Files/MiniZinc IDE (bundled)/minizinc.exe" +cmso.minizinc.command.solver=OSICBC +cmso.minizinc.command.timelimit=60000 +cmso.minizinc.command.mzn=scripts/minizinc/generic_attributes.mzn |