diff options
author | andrea gesmundo <andrea.gesmundo@gmail.com> | 2011-07-08 13:56:42 +0200 |
---|---|---|
committer | andrea gesmundo <andrea.gesmundo@gmail.com> | 2011-07-08 13:56:42 +0200 |
commit | 3396d8de52872e47ec61be942e4b50170a789950 (patch) | |
tree | fa8372d06235a8f4c6460c82a6e775131ab5eb1f /tests/system_tests/ftrans/input.cfg | |
parent | f68aaa588a2e1eb7cef5a57d57dd7e86fd4b0c9a (diff) |
add Fast Cube Pruning
Diffstat (limited to 'tests/system_tests/ftrans/input.cfg')
0 files changed, 0 insertions, 0 deletions