The Fhourstones benchmark by John Tromp (http://homepages.cwi.nl/~tromp/c4/fhour.html)
Primary LanguageJavaOtherNOASSERTION