LICENSE
MANIFEST.in
README.md
pyproject.toml
setup.py
clausal/__init__.py
clausal/codegen.py
clausal/import_hook.py
clausal/pythonic_terms.py
clausal/regex.py
clausal/repl.py
clausal/terms.py
clausal/testing.py
clausal.egg-info/PKG-INFO
clausal.egg-info/SOURCES.txt
clausal.egg-info/dependency_links.txt
clausal.egg-info/requires.txt
clausal.egg-info/top_level.txt
clausal/logic/__init__.py
clausal/logic/_trampoline.c
clausal/logic/clpb.py
clausal/logic/clpfd.py
clausal/logic/clpr.py
clausal/logic/compiler.py
clausal/logic/compiler_v2.py
clausal/logic/constraints.py
clausal/logic/continuation_search.py
clausal/logic/database.py
clausal/logic/exceptions.py
clausal/logic/goal_expansion.py
clausal/logic/predicate.py
clausal/logic/reif.py
clausal/logic/solve.py
clausal/logic/tabling.py
clausal/logic/term_expansion.py
clausal/logic/trampoline.py
clausal/logic/units_constraint.py
clausal/logic/builtins/__init__.py
clausal/logic/builtins/_helpers.py
clausal/logic/builtins/_registry.py
clausal/logic/builtins/arithmetic.py
clausal/logic/builtins/constraints.py
clausal/logic/builtins/control.py
clausal/logic/builtins/database_ops.py
clausal/logic/builtins/dcg.py
clausal/logic/builtins/dict_set.py
clausal/logic/builtins/higher_order.py
clausal/logic/builtins/inspection.py
clausal/logic/builtins/io.py
clausal/logic/builtins/keyword_ops.py
clausal/logic/builtins/lists.py
clausal/logic/builtins/pairs.py
clausal/logic/builtins/type_checks.py
clausal/logic/variables/__init__.py
clausal/logic/variables/_variables.c
clausal/modules/__init__.py
clausal/modules/date_time.py
clausal/modules/graphs.py
clausal/modules/log.py
clausal/modules/regex.py
clausal/modules/scipy_cluster.py
clausal/modules/scipy_constants.py
clausal/modules/scipy_differentiate.py
clausal/modules/scipy_fft.py
clausal/modules/scipy_integrate.py
clausal/modules/scipy_interpolate.py
clausal/modules/scipy_linalg.py
clausal/modules/scipy_ndimage.py
clausal/modules/scipy_optimize.py
clausal/modules/scipy_signal.py
clausal/modules/scipy_sparse.py
clausal/modules/scipy_spatial.py
clausal/modules/scipy_special.py
clausal/modules/scipy_stats.py
clausal/modules/spacy_module.py
clausal/modules/sqlite.py
clausal/modules/sympy_module.py
clausal/modules/units.py
clausal/modules/uuid_mod.py
clausal/modules/yaml_module.py
clausal/modules/py/__init__.py
clausal/modules/py/_scipy_relations.py
clausal/modules/py/_scipy_units.py
clausal/modules/py/datetime.py
clausal/modules/py/imperial.py
clausal/modules/py/logging.py
clausal/modules/py/re.py
clausal/modules/py/scipy_cluster.py
clausal/modules/py/scipy_constants.py
clausal/modules/py/scipy_differentiate.py
clausal/modules/py/scipy_fft.py
clausal/modules/py/scipy_integrate.py
clausal/modules/py/scipy_interpolate.py
clausal/modules/py/scipy_linalg.py
clausal/modules/py/scipy_ndimage.py
clausal/modules/py/scipy_optimize.py
clausal/modules/py/scipy_signal.py
clausal/modules/py/scipy_sparse.py
clausal/modules/py/scipy_spatial.py
clausal/modules/py/scipy_special.py
clausal/modules/py/scipy_stats.py
clausal/modules/py/sklearn.py
clausal/modules/py/spacy.py
clausal/modules/py/sqlite.py
clausal/modules/py/sympy.py
clausal/modules/py/units.py
clausal/modules/py/uuid.py
clausal/modules/py/yaml.py
clausal/pythonic_ast/__init__.py
clausal/pythonic_ast/conversion_from_python_ast.py
clausal/pythonic_ast/node_class.py
clausal/pythonic_ast/nodes.py
clausal/pythonic_ast/transform.py
clausal/stdlib/__init__.py
clausal/templating/__init__.py
clausal/templating/compiler.py
clausal/templating/parser.py
clausal/templating/term_rewriting.py
clausal/tools/__init__.py
clausal/tools/clear_pycache.py
clausal/tools/dump_transformed.py
clausal/tools/visualize.py
tests/test_body_star_decon.py
tests/test_builtin_classes.py
tests/test_builtins.py
tests/test_callsite_specialization.py
tests/test_clausal_modules.py
tests/test_clpb.py
tests/test_clpfd.py
tests/test_clpr.py
tests/test_codegen.py
tests/test_compiled_programs.py
tests/test_compiler.py
tests/test_compiler_goals.py
tests/test_compiler_optimizations.py
tests/test_compiler_trampoline.py
tests/test_compiler_v2.py
tests/test_continuation_search.py
tests/test_control.py
tests/test_database.py
tests/test_date_time.py
tests/test_dcg.py
tests/test_deep_indexing.py
tests/test_dict_set_builtins.py
tests/test_dict_set_compiler.py
tests/test_dict_set_terms.py
tests/test_dif.py
tests/test_directives.py
tests/test_edcg.py
tests/test_exceptions.py
tests/test_first_arg_index.py
tests/test_groundness_dispatch.py
tests/test_higher_order.py
tests/test_import.py
tests/test_io.py
tests/test_ipython_integration.py
tests/test_lambdas.py
tests/test_list_edge_cases.py
tests/test_list_util.py
tests/test_logging_module.py
tests/test_meta.py
tests/test_module_imports.py
tests/test_mutable_dict_set.py
tests/test_predicate_meta.py
tests/test_pycache.py
tests/test_python_interop.py
tests/test_regex.py
tests/test_reif_builtins.py
tests/test_reified_ite.py
tests/test_repl.py
tests/test_scipy_cluster.py
tests/test_scipy_constants.py
tests/test_scipy_differentiate.py
tests/test_scipy_fft.py
tests/test_scipy_integrate.py
tests/test_scipy_interpolate.py
tests/test_scipy_linalg.py
tests/test_scipy_ndimage.py
tests/test_scipy_optimize.py
tests/test_scipy_signal.py
tests/test_scipy_sparse.py
tests/test_scipy_spatial.py
tests/test_scipy_special.py
tests/test_scipy_stats.py
tests/test_search.py
tests/test_simple_ast.py
tests/test_slg_termination.py
tests/test_solve.py
tests/test_spacy_module.py
tests/test_sqlite.py
tests/test_sympy_module.py
tests/test_tabling.py
tests/test_template_compiler.py
tests/test_term_expansion.py
tests/test_term_inspection.py
tests/test_term_rewriting.py
tests/test_terms.py
tests/test_transform_nodes.py
tests/test_unify.py
tests/test_units.py
tests/test_uuid_module.py
tests/test_variables.py
tests/test_wfs.py
tests/test_yaml_module.py