| Commit | Date | |
|---|---|---|
|
[r9301]
by
dwarren
Modified printout to include a predicate only if it has at least 0.1% of |
2018-05-31 19:14:05 | Tree |
| 2018-05-27 01:21:31 | Tree | |
| 2018-05-21 21:56:57 | Tree | |
| 2018-05-20 00:21:17 | Tree | |
|
[r9297]
by
tswift
Now we postpone abstraction when we hit the maximum subgoal size in |
2018-05-18 22:00:44 | Tree |
|
[r9296]
by
tswift
Fixed prblems in check_new_answer_interrupt. |
2018-05-18 20:56:01 | Tree |
| 2018-05-18 17:56:19 | Tree | |
| 2018-05-18 16:38:34 | Tree | |
| 2018-05-18 16:28:04 | Tree | |
|
[r9292]
by
tswift
tables -- check_variant now throws an error if the predicate for the input term is not trie_indexed. |
2018-05-18 16:25:11 | Tree |