For those who have heard of, and want to try, the "GCHQ christmas puzzle" http://www.gchq.gov.uk/press_and_media/news_and_features/Pages/Directors-Christmas-puzzle-2015.aspx I have updated the "nonogram" solver example on the ECLiPSe web site to take pre-filled squares into account, and added the puzzle's data set, see http://eclipseclp.org/examples/nono_regular.ecl.txt To solve, run the goal go(gchq). Cheers, JoachimReceived on Sat Dec 12 2015 - 02:19:19 CET
This archive was generated by hypermail 2.3.0 : Tue Apr 16 2024 - 09:13:20 CEST