chiark / gitweb /
Add '-v' option to patternsolver, to make it show its working.