Activity
Add test for function conquer().
Add test for function conquer().
Separate ioexamples and solutions into two vectors. Refactor get_pred…
Separate ioexamples and solutions into two vectors. Refactor get_pred…
Fix bottom-up derivation heuristic
Fix bottom-up derivation heuristic
Fix bottom-up terminating early
Fix bottom-up terminating early
Force push
Fix bottom-up terminating early
Fix bottom-up terminating early
Implementation broken with arity>1
Implementation broken with arity>1
Turn divide-and-conquer functionality into an extension.
Turn divide-and-conquer functionality into an extension.
Make BUS work with @programiterator
Make BUS work with
@programiteratorAdd get_bank for BUS
Add get_bank for BUS
Ensure syntactical duplicates are never added to the bank
Ensure syntactical duplicates are never added to the bank
Fix argument names for BUState
Fix argument names for BUState
Fix search comparison to not hide duplicates
Fix search comparison to not hide duplicates
Test that BUS == DFS
Test that BUS == DFS
Make combine lazier, use Tuples in CombineAddress
Make
combine lazier, use Tuples in CombineAddressRemove comments, update docstring
Remove comments, update docstring
Add more bottom up tests
Add more bottom up tests
Include bottom-up test
Include bottom-up test
Add basic bottom-up test
Add basic bottom-up test
full working (?) version
full working (?) version
finished skeleton
finished skeleton