Thought is would be easy :-) Some stuff is
downloadable. Some, you need to contact me, and
hopefully, I'll find it.
<ol>
<li> R-max (in JAVA with C++ call to an LP solver)
<li> Game Simulator (JAVA)
<li> <A href=2-Simplify.tar.gz>2-Simplify (C++)</A>
<li> Reachable/Relevant-k (prolog)
<li> POMP (C++)
</ol>