| isbnx.html | ISBN check digit (Fancy Version) |
| work.html | Does your program work? |
| robust.html | Does your program work? (Robust Version) |
| veryrobust.html | Does your program work? (Very Robust Version) |
| coins.html | Three coins problem |
| smallest1.html | Find smallest value (decision tree version) |
| smallest2.html | Find smallest value (compact version) |