Thread Previous • Date Previous • Date Next • Thread Next |
0.0.2: Minor update to remove zeros from abstract syntax and to use unary relations (number of nonzeros) as well as binary relations 0.0.1: First edition of FEarari.
Thread Previous • Date Previous • Date Next • Thread Next |