chiark / gitweb /
~ianmdlvl / matchsticks-search.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a9fbfb4) | patch
Use known bound data to refine the search space.
authorSimon Tatham <anakin@pobox.com>
Fri, 14 Mar 2014 22:59:16 +0000 (22:59 +0000)
committerSimon Tatham <anakin@pobox.com>
Fri, 14 Mar 2014 22:59:39 +0000 (22:59 +0000)
commitc6c68d95229bc743b79f9f9ed813dfd9cce34df0
treec700a1f61abe425dfc0d06a11e0d0eb0c4c40195tree | snapshot
parenta9fbfb4fb03281513fccb9e1af599d63c47cef12commit | diff
Use known bound data to refine the search space.
partition.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.