This should not be of a real problem. I should be able to do that soon. However, I got trouble finding documentation about these files, in particular what the first column of matrices is for. If you know, please tell me.
Also, do you require output in piplib's parenthesed format ? The decision trees I generate are a bit different, and cannot strictly fit piplib's output format structure. The main difference is that a single decision node can embed several tests, resulting in a test like this:
If test1 AND test2 AND ... testn Then solution else _|_
In such cases, the 'else' block always contain an empty solution.
Best,
François
Sven Verdoolaege a écrit :
Perhaps you could also add a demo program with an interface like piplib's "example". That would make it easier to compare your solver to other pip solvers such as barvinok's lexmin and isl's isl_pip.
skimo