chiark / gitweb /
The Light Up solver limits its recursion depth, so if it fails to find
authorSimon Tatham <anakin@pobox.com>
Mon, 23 Jan 2012 18:56:05 +0000 (18:56 +0000)
committerSimon Tatham <anakin@pobox.com>
Mon, 23 Jan 2012 18:56:05 +0000 (18:56 +0000)
commit4eb748a29c7fab6b666e9841297975d11d9681df
tree41cb75c639d5d71b7e16d8cf29b13e2718f1b218
parent5c972e9ebf009a3d03b86fb8434035c0a85f73aa
The Light Up solver limits its recursion depth, so if it fails to find
a solution then it should not deduce that no solution exists. Change
wording of the error message returned from the Solve user action.

[originally from svn r9387]
lightup.c