[PURRS-devel] purrs/tests simplify_driver.cc
pescetti at cs.unipr.it
Tue Aug 17 23:34:46 CEST 2004
Module name: purrs
Changes by: pescetti at cs.unipr.it 2004-08-17 23:34:46
tests : simplify_driver.cc
Tests now support the new sums simplification in interactive mode.
Full support to come.
More information about the PURRS-devel