Mode | Name | Size | |
---|---|---|---|
d--------- | calc | 242 | logplain |
d--------- | coq | 274 | logplain |
d--------- | drgeo | 285 | logplain |
d--------- | euler | 242 | logplain |
d--------- | geomview | 197 | logplain |
d--------- | gimps | 238 | logplain |
d--------- | ginac | 283 | logplain |
d--------- | glpk | 231 | logplain |
d--------- | gturing | 193 | logplain |