Parma Polyhedra Library
19 Nov
2002
19 Nov
'02
7:18 p.m.
<http://www.gnu.org/directory/libs/cpp/PPL.html> -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it
8453
Age (days ago)
8453
Last active (days ago)
0 comments
1 participants
participants (1)
-
Roberto Bagnara