Centrum Wiskunde & Informatica (CWI)
http://www.cwi.nl/
Amsterdam, The Netherlands
Inquire about license