infinite loop in simplex? #22
Description
A call to simple.solve seems to take an arbitrary amount of time in tracing. Spends its time doing pivots. It might be a problem with epsilons?
repro:
$ /sidekick.sh --stat tests/unsat/pb_real_30_0600_10_18.smt2 -p