My question is answered by Jason Rute's link http://www.cs.man.ac.uk/~schmidt/tools/. Similar links would be welcome.
Frode Alfson Bjørdal
- 3.6k
- 1
- 15
- 35