| Tue, 12 May 2009 17:09:36 +0200 | haftmann | marginally tuned | changeset | files |
| Tue, 12 May 2009 17:09:36 +0200 | haftmann | examples using code_pred | changeset | files |
| Tue, 12 May 2009 17:09:35 +0200 | haftmann | added dummy values keyword | changeset | files |
| Tue, 12 May 2009 16:11:36 +0200 | haftmann | tuned exception code | changeset | files |
| Tue, 12 May 2009 17:32:50 +0100 | chaieb | A generic arithmetic prover based on Positivstellensatz certificates --- also implements Fourrier-Motzkin elimination as a special case Fourrier-Motzkin elimination | changeset | files |
| Tue, 12 May 2009 17:32:49 +0100 | chaieb | A decision method for universal multivariate real arithmetic with add | changeset | files |
| Tue, 12 May 2009 17:32:49 +0100 | chaieb | Isolated decision procedure for noms and the general arithmetic solver | changeset | files |