[Haskell-cafe] ANN: afv-0.0.3

Tom Hawkins tomahawkins at gmail.com
Tue Jan 19 01:37:42 EST 2010

This release of AFV adds counter example generation for both concrete
bounded violations or for inconclusive results when the induction
fails to converge.  I also put Linux and Windows binaries here:



More information about the Haskell-Cafe mailing list