LICENSE
README.md
pyproject.toml
requirements.txt
src/fhy_core/__init__.py
src/fhy_core/constraint.py
src/fhy_core/error.py
src/fhy_core/identifier.py
src/fhy_core/logger.py
src/fhy_core/provenance.py
src/fhy_core/py.typed
src/fhy_core/serialization.py
src/fhy_core/symbol_table.py
src/fhy_core/testing_patches.py
src/fhy_core/types.py
src/fhy_core.egg-info/PKG-INFO
src/fhy_core.egg-info/SOURCES.txt
src/fhy_core.egg-info/dependency_links.txt
src/fhy_core.egg-info/requires.txt
src/fhy_core.egg-info/top_level.txt
src/fhy_core/expression/__init__.py
src/fhy_core/expression/core.py
src/fhy_core/expression/parser.py
src/fhy_core/expression/pprint.py
src/fhy_core/expression/passes/__init__.py
src/fhy_core/expression/passes/basic.py
src/fhy_core/expression/passes/sympy.py
src/fhy_core/expression/passes/z3.py
src/fhy_core/param/__init__.py
src/fhy_core/param/bound.py
src/fhy_core/param/core.py
src/fhy_core/param/fundamental.py
src/fhy_core/pass_infrastructure/__init__.py
src/fhy_core/pass_infrastructure/core.py
src/fhy_core/pass_infrastructure/manager.py
src/fhy_core/trait/__init__.py
src/fhy_core/trait/canonicalizable.py
src/fhy_core/trait/equality.py
src/fhy_core/trait/foldable.py
src/fhy_core/trait/frozen.py
src/fhy_core/trait/has_identifier.py
src/fhy_core/trait/has_operands.py
src/fhy_core/trait/has_provenance.py
src/fhy_core/trait/has_results.py
src/fhy_core/trait/has_type.py
src/fhy_core/trait/orderable.py
src/fhy_core/trait/structural_equivalence.py
src/fhy_core/trait/verifiable.py
src/fhy_core/trait/visitable.py
src/fhy_core/utils/__init__.py
src/fhy_core/utils/array_utils.py
src/fhy_core/utils/dict_utils.py
src/fhy_core/utils/enum.py
src/fhy_core/utils/lattice.py
src/fhy_core/utils/poset.py
src/fhy_core/utils/self.py
src/fhy_core/utils/stack.py
src/fhy_core/utils/str_utils.py
tests/test_array_utils.py
tests/test_basic_traits.py
tests/test_constraint.py
tests/test_core_traits.py
tests/test_dict_utils.py
tests/test_expression.py
tests/test_expression_parser.py
tests/test_expression_passes.py
tests/test_identifier.py
tests/test_ir_traits.py
tests/test_lattice.py
tests/test_logger.py
tests/test_param.py
tests/test_pass_infrastructure.py
tests/test_pass_manager.py
tests/test_poset.py
tests/test_provenance.py
tests/test_serialization.py
tests/test_stack.py
tests/test_string_utils.py
tests/test_symbol_table.py
tests/test_testing_patches.py
tests/test_types.py
tests/test_visitable_trait.py