script used by ../Makefile to run matitac[.opt] on some tests. supports some
options and prints out some informations neded my insert
script used by ../Makefile to run matitac[.opt] on some tests. supports some
options and prints out some informations neded my insert