Issue 32: Fraction statisfiability speedups
Project Member Reported by kevin.bi...@gmail.com, Sep 23, 2008
- Better elimination order, 

- separate solving of unrelated subproblems, 

- use gaussian elimination first

Dec 3, 2008
Project Member #1 kevin.bi...@gmail.com
Deterministic and (I think) pretty good elimination order with r177
Status: Started