| Mode | Name | Size | |
|---|---|---|---|
| d--------- | Macaulay2 | 157 | logplain |
| d--------- | Oid | 118 | logplain |
| d--------- | acl2 | 119 | logplain |
| d--------- | alt-ergo | 126 | logplain |
| d--------- | apron | 126 | logplain |
| d--------- | aribas | 154 | logplain |
| d--------- | axiom | 123 | logplain |
| d--------- | burrtools | 129 | logplain |
| d--------- | cipi | 119 | logplain |
| d--------- | dolfin | 258 | logplain |
| d--------- | dsfmt | 120 | logplain |
| d--------- | flocq | 122 | logplain |
| d--------- | frama-c | 159 | logplain |
| d--------- | freefem++ | 156 | logplain |
| d--------- | gap | 153 | logplain |
| d--------- | gappa | 122 | logplain |
| d--------- | gappalib-coq | 129 | logplain |
| d--------- | giac | 121 | logplain |
| d--------- | htk | 152 | logplain |
| d--------- | kash-bin | 121 | logplain |
| d--------- | lattE-macchiato | 164 | logplain |
| d--------- | libsfmt | 124 | logplain |
| d--------- | lie | 152 | logplain |
| d--------- | ltl2ba | 121 | logplain |
| d--------- | netgen | 250 | logplain |
| d--------- | open-axiom | 127 | logplain |
| d--------- | pff | 118 | logplain |
| d--------- | pulp | 124 | logplain |
| d--------- | scilab | 158 | logplain |
| d--------- | tisean | 155 | logplain |
| d--------- | ufc | 164 | logplain |
| d--------- | why | 151 | logplain |
| d--------- | why3 | 120 | logplain |
| d--------- | z3 | 161 | logplain |
GitWeb