mndrix/golog — pull request #15 by laslowh (2014-08-19 17:31:59+00:00)
Title: allow CanProve to exit early

CanProve currently attempts to prove all, but then checks to see if there's at least one solution. This seems wasteful