coin-or
diff --git a/‎issue17a.lp‎ renamed to ‎examples/issue17a.lp‎ b/‎issue17a.lp‎ renamed to ‎examples/issue17a.lp‎
diff --git a/‎issue17a.sol‎ renamed to ‎examples/issue17a.sol‎ b/‎issue17a.sol‎ renamed to ‎examples/issue17a.sol‎
diff --git a/‎issue17b.lp‎ renamed to ‎examples/issue17b.lp‎ b/‎issue17b.lp‎ renamed to ‎examples/issue17b.lp‎
diff --git a/‎issue17b.sol‎ renamed to ‎examples/issue17b.sol‎ b/‎issue17b.sol‎ renamed to ‎examples/issue17b.sol‎