diff options
author | Jerry Flood <jflood@att.com> | 2019-04-01 13:27:05 -0400 |
---|---|---|
committer | Jerry Flood <jflood@att.com> | 2019-04-01 14:24:29 -0400 |
commit | 442bb3c2d0ca9c6ecf3ecf5d85dc8fec725a204c (patch) | |
tree | fd5c22868d7ce7dd8a6f503abdd56ef024999630 /cmso-optimizer/etc/config | |
parent | cb0a9f1021977d3d6cd6326541c203cf2913bf47 (diff) |
Define interface to minizinc engine
Issue-ID: OPTFRA-436
Change-Id: Icf450f06d37f6035a620b3f22a5c186f4923d63c
Signed-off-by: Jerry Flood <jflood@att.com>
Diffstat (limited to 'cmso-optimizer/etc/config')
0 files changed, 0 insertions, 0 deletions