]> gitweb.factorcode.org Git - factor.git/commit
backtrack: Added cut-amb
authorWilliam Schlieper <schlieper@unc.edu>
Sun, 10 Aug 2008 02:33:58 +0000 (22:33 -0400)
committerWilliam Schlieper <schlieper@unc.edu>
Sun, 10 Aug 2008 02:33:58 +0000 (22:33 -0400)
commitd46b5387d506941bb3254098ead070a73e33f3a2
tree1b9d656d25da96b1702422ab7c87075747f6797b
parent8c7cca072f52335d4c525b84a5b6d950bd96ba36
backtrack: Added cut-amb
extra/backtrack/backtrack.factor