LICENSE
README.md
pyproject.toml
setup.py
doc/accounting.py
pomagma/__init__.py
pomagma/__main__.py
pomagma/make.py
pomagma/workers.py
pomagma/workers_test.py
pomagma.egg-info/PKG-INFO
pomagma.egg-info/SOURCES.txt
pomagma.egg-info/dependency_links.txt
pomagma.egg-info/entry_points.txt
pomagma.egg-info/requires.txt
pomagma.egg-info/top_level.txt
pomagma/analyst/__init__.py
pomagma/analyst/analyst_messages_pb2.py
pomagma/analyst/client.py
pomagma/analyst/client_test.py
pomagma/analyst/compiler.py
pomagma/analyst/compiler_test.py
pomagma/analyst/server.py
pomagma/analyst/startup.py
pomagma/analyst/synthesize.py
pomagma/analyst/synthesize_test.py
pomagma/analyst/testdata/make.py
pomagma/atlas/__init__.py
pomagma/atlas/__main__.py
pomagma/atlas/atlas_test.py
pomagma/atlas/bootstrap.py
pomagma/atlas/structure_pb2.py
pomagma/cartographer/__init__.py
pomagma/cartographer/cartographer_messages_pb2.py
pomagma/cartographer/client.py
pomagma/cartographer/server.py
pomagma/cartographer/server_test.py
pomagma/compiler/__init__.py
pomagma/compiler/__main__.py
pomagma/compiler/compiler.py
pomagma/compiler/compiler_test.py
pomagma/compiler/completion.py
pomagma/compiler/expressions.py
pomagma/compiler/expressions_test.py
pomagma/compiler/extensional.py
pomagma/compiler/extensional_test.py
pomagma/compiler/frontend.py
pomagma/compiler/frontend_test.py
pomagma/compiler/parser.py
pomagma/compiler/parser_test.py
pomagma/compiler/plans.py
pomagma/compiler/presentation.py
pomagma/compiler/sequencer.py
pomagma/compiler/sequencer_test.py
pomagma/compiler/sequents.py
pomagma/compiler/sequents_test.py
pomagma/compiler/signature.py
pomagma/compiler/signature_test.py
pomagma/compiler/simplify.py
pomagma/compiler/simplify_test.py
pomagma/compiler/sugar.py
pomagma/compiler/sugar_test.py
pomagma/compiler/syntax_pb2.py
pomagma/compiler/util.py
pomagma/compiler/util_test.py
pomagma/corpus/__init__.py
pomagma/corpus/__main__.py
pomagma/corpus/corpus.py
pomagma/examples/__init__.py
pomagma/examples/definable_types.py
pomagma/examples/definable_types_test.py
pomagma/examples/solve.py
pomagma/examples/solve_test.py
pomagma/examples/sudoku.py
pomagma/examples/sudoku_test.py
pomagma/examples/synthesize.py
pomagma/examples/synthesize_test.py
pomagma/examples/testing.py
pomagma/io/__init__.py
pomagma/io/blobstore.py
pomagma/io/protobuf.py
pomagma/io/protobuf_test.py
pomagma/io/protobuf_test_pb2.py
pomagma/io/s3.py
pomagma/io/s3_test.py
pomagma/language/__init__.py
pomagma/language/bootstrap.py
pomagma/language/language_pb2.py
pomagma/language/language_test.py
pomagma/language/util.py
pomagma/linguist/__init__.py
pomagma/reducer/__init__.py
pomagma/reducer/__main__.py
pomagma/reducer/bohm.py
pomagma/reducer/bohm_debug.py
pomagma/reducer/bohm_debug_test.py
pomagma/reducer/bohm_test.py
pomagma/reducer/bridge.py
pomagma/reducer/bridge_test.py
pomagma/reducer/church.py
pomagma/reducer/church_test.py
pomagma/reducer/curry.py
pomagma/reducer/curry_test.py
pomagma/reducer/data.py
pomagma/reducer/data_test.py
pomagma/reducer/graphs.py
pomagma/reducer/graphs_test.py
pomagma/reducer/huet98.py
pomagma/reducer/huet98_test.py
pomagma/reducer/koopman.py
pomagma/reducer/koopman_test.py
pomagma/reducer/lib.py
pomagma/reducer/lib_test.py
pomagma/reducer/linker.py
pomagma/reducer/linker_test.py
pomagma/reducer/main_test.py
pomagma/reducer/pattern.py
pomagma/reducer/pattern_test.py
pomagma/reducer/programs.py
pomagma/reducer/programs_test.py
pomagma/reducer/sugar.py
pomagma/reducer/sugar_test.py
pomagma/reducer/syntax.py
pomagma/reducer/syntax_test.py
pomagma/reducer/systems.py
pomagma/reducer/systems_test.py
pomagma/reducer/testing.py
pomagma/reducer/util.py
pomagma/reducer/util_test.py
pomagma/surveyor/__init__.py
pomagma/theorist/__init__.py
pomagma/theorist/diverge.py
pomagma/theorist/diverge_test.py
pomagma/theorist/report.py
pomagma/torch/__init__.py
pomagma/torch/compression.py
pomagma/torch/compression_test.py
pomagma/torch/conftest.py
pomagma/torch/corpus.py
pomagma/torch/corpus_test.py
pomagma/torch/extraction.py
pomagma/torch/io.py
pomagma/torch/io_test.py
pomagma/torch/language.py
pomagma/torch/language_test.py
pomagma/torch/structure.py
pomagma/torch/structure_test.py
pomagma/torch/syntax.py
pomagma/util/__init__.py
pomagma/util/hashcons.py
pomagma/util/metrics.py
pomagma/util/testing.py
pomagma/util/util_test.py
vcpkg/buildtrees/libtorch/arm64-osx-dbg/caffe2/proto/caffe2_pb2.py
vcpkg/buildtrees/libtorch/arm64-osx-dbg/caffe2/proto/torch_pb2.py
vcpkg/buildtrees/onnx/arm64-osx-dbg/onnx/onnx_data_pb.py
vcpkg/buildtrees/onnx/arm64-osx-dbg/onnx/onnx_operators_pb.py
vcpkg/buildtrees/onnx/arm64-osx-dbg/onnx/onnx_pb.py
vcpkg/buildtrees/onnx/arm64-osx-rel/onnx/onnx_data_pb.py
vcpkg/buildtrees/onnx/arm64-osx-rel/onnx/onnx_operators_pb.py
vcpkg/buildtrees/onnx/arm64-osx-rel/onnx/onnx_pb.py
vcpkg/buildtrees/opencv4/arm64-osx-dbg/python_loader/setup.py
vcpkg/buildtrees/opencv4/arm64-osx-dbg/python_loader/cv2/__init__.py
vcpkg/buildtrees/opencv4/arm64-osx-dbg/python_loader/cv2/config.py
vcpkg/buildtrees/opencv4/arm64-osx-dbg/python_loader/cv2/load_config_py2.py
vcpkg/buildtrees/opencv4/arm64-osx-dbg/python_loader/cv2/load_config_py3.py
vcpkg/buildtrees/opencv4/arm64-osx-dbg/python_loader/cv2/mat_wrapper/__init__.py
vcpkg/buildtrees/opencv4/arm64-osx-dbg/python_loader/cv2/misc/__init__.py
vcpkg/buildtrees/opencv4/arm64-osx-dbg/python_loader/cv2/misc/version.py
vcpkg/buildtrees/opencv4/arm64-osx-dbg/python_loader/cv2/utils/__init__.py
vcpkg/buildtrees/opencv4/arm64-osx-rel/python_loader/setup.py
vcpkg/buildtrees/opencv4/arm64-osx-rel/python_loader/cv2/__init__.py
vcpkg/buildtrees/opencv4/arm64-osx-rel/python_loader/cv2/config.py
vcpkg/buildtrees/opencv4/arm64-osx-rel/python_loader/cv2/load_config_py2.py
vcpkg/buildtrees/opencv4/arm64-osx-rel/python_loader/cv2/load_config_py3.py
vcpkg/buildtrees/opencv4/arm64-osx-rel/python_loader/cv2/mat_wrapper/__init__.py
vcpkg/buildtrees/opencv4/arm64-osx-rel/python_loader/cv2/misc/__init__.py
vcpkg/buildtrees/opencv4/arm64-osx-rel/python_loader/cv2/misc/version.py
vcpkg/buildtrees/opencv4/arm64-osx-rel/python_loader/cv2/utils/__init__.py
vcpkg/ports/tensorflow-common/convert_lib_params_linux.py
vcpkg/ports/tensorflow-common/convert_lib_params_macos.py
vcpkg/ports/tensorflow-common/convert_lib_params_windows.py
vcpkg/ports/tensorflow-common/generate_static_link_cmd_linux.py
vcpkg/ports/tensorflow-common/generate_static_link_cmd_macos.py
vcpkg/ports/tensorflow-common/generate_static_link_cmd_windows.py
vcpkg/scripts/file_script.py
vcpkg/scripts/generateBaseline.py
vcpkg/scripts/generatePortVersionsDb.py
vcpkg/scripts/update_suitesparse.py
vcpkg/scripts/buildsystems/osx/applocal.py