Library's growing

Cesare Tinelli tinelli at cs.uiowa.edu
Tue Oct 29 14:02:17 EST 2002


Hi again,

for those who have not noticed yet, the benchmark library is starting to 
grow. This is thanks to

- Silvio (Ranise), who has set up a local node at INRIA with benchmarks
   contributed by himself and several of his collaborators,
- Ofer (Strichman) who has set up a local node at CMU with benchmarks
   contributed by himself and by Shuvendu (Lahiri) and Sanjit (Seshia),
   and
- Aarton (Stump) who has set up a local node at the Washington U. with
   becnhmarks contributed by the CVC group.

Well done guys, keep those bechmarks coming!


Cesare







More information about the SMT-LIB mailing list