← Back to team overview

ferari team mailing list archive

Version of FErari released

 

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.