chiark / gitweb /
Greatly increase the speed of the Filling solver.
authorJonas Kölker <jonaskoelker@yahoo.com>
Thu, 1 Oct 2015 17:57:49 +0000 (19:57 +0200)
committerSimon Tatham <anakin@pobox.com>
Sat, 3 Oct 2015 16:12:20 +0000 (17:12 +0100)
commita55607ff245e8d7e6156d191caeacdba1c424ef4
tree5fb09c0fd396e93f8f062b11bb726ee1e24b8e45
parent79fe68dc57d72d4765850eb9aec23675523a1a4d
Greatly increase the speed of the Filling solver.
filling.c