]> gitweb.factorcode.org Git - factor.git/commit
Made backtrack actually faster by removing list push/pops
authorWilliam Schlieper <schlieper@unc.edu>
Wed, 16 Jul 2008 10:08:44 +0000 (06:08 -0400)
committerWilliam Schlieper <schlieper@unc.edu>
Wed, 16 Jul 2008 10:08:44 +0000 (06:08 -0400)
commit2b9df400af31c8d4e4732dde9dee3847aff0bec4
tree45c00ba1ab4e82ca5dd52b553ba998a2753d6744
parent01394ef298d7932ef5ffd814fe3dcdaa6dd7a7d3
Made backtrack actually faster by removing list push/pops
extra/backtrack/backtrack.factor