_______________________________________________
Scip mailing list
Scip@zib.de
http://listserv.zib.de/mailman/listinfo/scip