Welcome to "Logic for Fun". If this is your first visit, you should start by reading the opening pages of the guide. This explains how to encode problems, how to run the solver and many details of the language for expressing all this.
If you have been here before and already done your homework, you should go straight to the puzzles and start solving!
Direct access to the solver is provided via the green button above, in case you want to type in your own puzzles rather than reading them from the puzzle pages.
The solver and these pages were written by John Slaney to whom comments, complaints, reports of difficulties and offers of large sums of money should be addressed.
The software is reasonably idiot-proof. However, like all programs of similar size and complexity, it probably still contains the odd bug. If you are lucky enough to find one, feel free to report it.