This is Logic for Fun, Version 2.0 (beta), released in 2014.
Version 1 was made live in 2001. It was designed and written by John Slaney in 2000, and scripted for the public release by Kal Hodgson. It underwent a significant revision in 2007, with some new scripts by Matt Gray.
Version 2 retains much of the text of the puzzles and guide (albeit considerably edited) from Version 1. The back-end solver remains, with only minor modifications to the input syntax. The rest of the site was completely re-scripted in 2013-14 by a team of Daniel Pekevski, Nathan Ryan and Wayne Tsai.
Principal new features of Version 2 are:
- Full first order logic form for constraints in place of clause form
- Facility to save and reload work, and to submit it to the class manager
- Provision of standard logical symbols for connectives and quantifiers
- A help facility based on keyword search
- Puzzle text, solver input and solver output all on the same page