README.md
setup.cfg
setup.py
neurosym/__init__.py
neurosym.egg-info/PKG-INFO
neurosym.egg-info/SOURCES.txt
neurosym.egg-info/dependency_links.txt
neurosym.egg-info/requires.txt
neurosym.egg-info/top_level.txt
neurosym/compression/__init__.py
neurosym/compression/process_abstraction.py
neurosym/datasets/__init__.py
neurosym/datasets/load_data.py
neurosym/datasets/near_data_example.py
neurosym/dsl/__init__.py
neurosym/dsl/abstraction.py
neurosym/dsl/dsl.py
neurosym/dsl/dsl_factory.py
neurosym/dsl/lambdas.py
neurosym/dsl/pcfg.py
neurosym/dsl/production.py
neurosym/examples/__init__.py
neurosym/examples/basic_arith.py
neurosym/examples/mutable_arith_combinators.py
neurosym/examples/dreamcoder/__init__.py
neurosym/examples/dreamcoder/list_example.py
neurosym/examples/near/__init__.py
neurosym/examples/near/neural_dsl.py
neurosym/examples/near/search_graph.py
neurosym/examples/near/dsls/__init__.py
neurosym/examples/near/dsls/sequential_differentiable_dsl.py
neurosym/examples/near/dsls/simple_differentiable_dsl.py
neurosym/examples/near/methods/__init__.py
neurosym/examples/near/methods/base_trainer.py
neurosym/examples/near/methods/near_example_trainer.py
neurosym/examples/near/operations/__init__.py
neurosym/examples/near/operations/basic.py
neurosym/examples/near/operations/lists.py
neurosym/programs/__init__.py
neurosym/programs/hole.py
neurosym/programs/s_expression.py
neurosym/programs/s_expression_render.py
neurosym/search/__init__.py
neurosym/search/astar_search.py
neurosym/search/bfs_search.py
neurosym/search/bounded_astar.py
neurosym/search_graph/__init__.py
neurosym/search_graph/dsl_search_graph.py
neurosym/search_graph/dsl_search_node.py
neurosym/search_graph/hole_set_chooser.py
neurosym/search_graph/metadata_computer.py
neurosym/search_graph/search_graph.py
neurosym/search_graph/search_graph_transformer.py
neurosym/types/__init__.py
neurosym/types/type.py
neurosym/types/type_signature.py
neurosym/types/type_string_repr.py
neurosym/types/type_with_environment.py
neurosym/utils/__init__.py
neurosym/utils/tree_trie.py
tests/__init__.py
tests/only_direct_import_test.py
tests/basic_search/__init__.py
tests/basic_search/search_test.py
tests/dreamcoder/__init__.py
tests/dreamcoder/compression_test.py
tests/dreamcoder/list_dsl_test.py
tests/dsl/__init__.py
tests/dsl/rules_test.py
tests/lambdas/__init__.py
tests/lambdas/enumeration_regression_test.py
tests/lambdas/lambdas_test.py
tests/near/__init__.py
tests/near/test_modules.py
tests/near/test_sequential_dsl.py
tests/near/test_simple_dsl.py
tests/near/utils.py
tests/templates/__init__.py
tests/templates/expansion_test.py
tests/templates/semantics_test.py
tests/type/__init__.py
tests/type/render_test.py
tests/type/unify_test.py