├── .gitignore ├── LICENCE.txt ├── README.md ├── conf ├── logging.conf ├── macleod_linux.conf ├── macleod_mac.conf ├── macleod_win.conf └── symbols.conf ├── doc ├── 2014-07-31_setup.txt ├── GUI_setup.txt ├── Macleod-Manual.pdf ├── Macleod-Manual.tex ├── TheoremProving-manual.pdf ├── TheoremProving-manual.tex ├── config_documentation.txt ├── gui-todos.txt └── setup.txt ├── pylintrc ├── requirements.txt ├── research └── ISWC2021-experimental-data.xlsx ├── setup.py └── src ├── macleod ├── .python-version ├── Clif.py ├── ClifLemmaSet.py ├── ClifModule.py ├── ClifModuleSet.py ├── ColoreOutputCleaner.py ├── ColoreProver.py ├── Commands.py ├── Filemgt.py ├── Ladr.py ├── NetrwTreeListing ├── Ontology.py ├── Process.py ├── ProofStatistic.py ├── Reasoner.py ├── ReasonerSet.py ├── Vampire.py ├── __init__.py ├── dl │ ├── __init__.py │ ├── filters.py │ ├── owl.py │ ├── patterns.py │ ├── tests │ │ ├── test_Filters.py │ │ └── test_Patterns.py │ ├── translation.py │ └── utilities.py ├── gui │ ├── Arborist.py │ ├── __init__.py │ ├── gui_alpha.py │ ├── gui_beta │ │ ├── __init__.py │ │ ├── gui_filehelper.py │ │ ├── gui_highlighter.py │ │ ├── gui_main.py │ │ ├── gui_settings.py │ │ ├── gui_threads.py │ │ ├── gui_tool.py │ │ └── gui_widgets.py │ ├── img │ │ ├── close.gif │ │ ├── close_active.gif │ │ └── close_pressed.gif │ ├── summary.py │ └── table.py ├── logical │ ├── __init__.py │ ├── axiom.py │ ├── connective.py │ ├── logical.py │ ├── negation.py │ ├── quantifier.py │ ├── symbol.py │ ├── tests │ │ ├── test_Axiom.py │ │ ├── test_Connective.py │ │ ├── test_Logical.py │ │ ├── test_Negation.py │ │ ├── test_Quantifier.py │ │ └── test_Symbol.py │ └── utils.py ├── parsing │ ├── __init__.py │ └── parser.py ├── scripts │ ├── __init__.py │ ├── check_consistency.py │ ├── check_consistency_all.py │ ├── check_consistency_new.py │ ├── check_nontrivial_consistency.py │ ├── clif_converter.py │ ├── delete_output.py │ ├── licence.py │ ├── parser.py │ ├── prove_lemma.py │ ├── prove_lemma_all.py │ ├── prove_lemma_new.py │ └── task_specs └── tests │ ├── .python-version │ └── test_Ontology.py └── p9_tools ├── __init__.py ├── config.py ├── insertion ├── __init__.py ├── construct.py ├── insertion.py └── remove_duplicate_chains.py ├── parse ├── __init__.py ├── model.py └── theory.py └── relationship ├── __init__.py ├── files.py └── relationship.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENCE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/LICENCE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/README.md -------------------------------------------------------------------------------- /conf/logging.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/conf/logging.conf -------------------------------------------------------------------------------- /conf/macleod_linux.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/conf/macleod_linux.conf -------------------------------------------------------------------------------- /conf/macleod_mac.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/conf/macleod_mac.conf -------------------------------------------------------------------------------- /conf/macleod_win.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/conf/macleod_win.conf -------------------------------------------------------------------------------- /conf/symbols.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/conf/symbols.conf -------------------------------------------------------------------------------- /doc/2014-07-31_setup.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/doc/2014-07-31_setup.txt -------------------------------------------------------------------------------- /doc/GUI_setup.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/doc/GUI_setup.txt -------------------------------------------------------------------------------- /doc/Macleod-Manual.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/doc/Macleod-Manual.pdf -------------------------------------------------------------------------------- /doc/Macleod-Manual.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/doc/Macleod-Manual.tex -------------------------------------------------------------------------------- /doc/TheoremProving-manual.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/doc/TheoremProving-manual.pdf -------------------------------------------------------------------------------- /doc/TheoremProving-manual.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/doc/TheoremProving-manual.tex -------------------------------------------------------------------------------- /doc/config_documentation.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/doc/config_documentation.txt -------------------------------------------------------------------------------- /doc/gui-todos.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/doc/gui-todos.txt -------------------------------------------------------------------------------- /doc/setup.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/doc/setup.txt -------------------------------------------------------------------------------- /pylintrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/pylintrc -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/requirements.txt -------------------------------------------------------------------------------- /research/ISWC2021-experimental-data.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/research/ISWC2021-experimental-data.xlsx -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/setup.py -------------------------------------------------------------------------------- /src/macleod/.python-version: -------------------------------------------------------------------------------- 1 | 3.6.5 2 | -------------------------------------------------------------------------------- /src/macleod/Clif.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/Clif.py -------------------------------------------------------------------------------- /src/macleod/ClifLemmaSet.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/ClifLemmaSet.py -------------------------------------------------------------------------------- /src/macleod/ClifModule.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/ClifModule.py -------------------------------------------------------------------------------- /src/macleod/ClifModuleSet.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/ClifModuleSet.py -------------------------------------------------------------------------------- /src/macleod/ColoreOutputCleaner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/ColoreOutputCleaner.py -------------------------------------------------------------------------------- /src/macleod/ColoreProver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/ColoreProver.py -------------------------------------------------------------------------------- /src/macleod/Commands.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/Commands.py -------------------------------------------------------------------------------- /src/macleod/Filemgt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/Filemgt.py -------------------------------------------------------------------------------- /src/macleod/Ladr.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/Ladr.py -------------------------------------------------------------------------------- /src/macleod/NetrwTreeListing: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/NetrwTreeListing -------------------------------------------------------------------------------- /src/macleod/Ontology.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/Ontology.py -------------------------------------------------------------------------------- /src/macleod/Process.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/Process.py -------------------------------------------------------------------------------- /src/macleod/ProofStatistic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/ProofStatistic.py -------------------------------------------------------------------------------- /src/macleod/Reasoner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/Reasoner.py -------------------------------------------------------------------------------- /src/macleod/ReasonerSet.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/ReasonerSet.py -------------------------------------------------------------------------------- /src/macleod/Vampire.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/Vampire.py -------------------------------------------------------------------------------- /src/macleod/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/__init__.py -------------------------------------------------------------------------------- /src/macleod/dl/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/macleod/dl/filters.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/dl/filters.py -------------------------------------------------------------------------------- /src/macleod/dl/owl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/dl/owl.py -------------------------------------------------------------------------------- /src/macleod/dl/patterns.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/dl/patterns.py -------------------------------------------------------------------------------- /src/macleod/dl/tests/test_Filters.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/dl/tests/test_Filters.py -------------------------------------------------------------------------------- /src/macleod/dl/tests/test_Patterns.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/dl/tests/test_Patterns.py -------------------------------------------------------------------------------- /src/macleod/dl/translation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/dl/translation.py -------------------------------------------------------------------------------- /src/macleod/dl/utilities.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/dl/utilities.py -------------------------------------------------------------------------------- /src/macleod/gui/Arborist.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/gui/Arborist.py -------------------------------------------------------------------------------- /src/macleod/gui/__init__.py: -------------------------------------------------------------------------------- 1 | __all__ = ["Arborist"] 2 | -------------------------------------------------------------------------------- /src/macleod/gui/gui_alpha.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/gui/gui_alpha.py -------------------------------------------------------------------------------- /src/macleod/gui/gui_beta/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/macleod/gui/gui_beta/gui_filehelper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/gui/gui_beta/gui_filehelper.py -------------------------------------------------------------------------------- /src/macleod/gui/gui_beta/gui_highlighter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/gui/gui_beta/gui_highlighter.py -------------------------------------------------------------------------------- /src/macleod/gui/gui_beta/gui_main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/gui/gui_beta/gui_main.py -------------------------------------------------------------------------------- /src/macleod/gui/gui_beta/gui_settings.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/gui/gui_beta/gui_settings.py -------------------------------------------------------------------------------- /src/macleod/gui/gui_beta/gui_threads.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/gui/gui_beta/gui_threads.py -------------------------------------------------------------------------------- /src/macleod/gui/gui_beta/gui_tool.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/gui/gui_beta/gui_tool.py -------------------------------------------------------------------------------- /src/macleod/gui/gui_beta/gui_widgets.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/gui/gui_beta/gui_widgets.py -------------------------------------------------------------------------------- /src/macleod/gui/img/close.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/gui/img/close.gif -------------------------------------------------------------------------------- /src/macleod/gui/img/close_active.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/gui/img/close_active.gif -------------------------------------------------------------------------------- /src/macleod/gui/img/close_pressed.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/gui/img/close_pressed.gif -------------------------------------------------------------------------------- /src/macleod/gui/summary.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/gui/summary.py -------------------------------------------------------------------------------- /src/macleod/gui/table.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/gui/table.py -------------------------------------------------------------------------------- /src/macleod/logical/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/macleod/logical/axiom.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/logical/axiom.py -------------------------------------------------------------------------------- /src/macleod/logical/connective.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/logical/connective.py -------------------------------------------------------------------------------- /src/macleod/logical/logical.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/logical/logical.py -------------------------------------------------------------------------------- /src/macleod/logical/negation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/logical/negation.py -------------------------------------------------------------------------------- /src/macleod/logical/quantifier.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/logical/quantifier.py -------------------------------------------------------------------------------- /src/macleod/logical/symbol.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/logical/symbol.py -------------------------------------------------------------------------------- /src/macleod/logical/tests/test_Axiom.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/logical/tests/test_Axiom.py -------------------------------------------------------------------------------- /src/macleod/logical/tests/test_Connective.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/logical/tests/test_Connective.py -------------------------------------------------------------------------------- /src/macleod/logical/tests/test_Logical.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/logical/tests/test_Logical.py -------------------------------------------------------------------------------- /src/macleod/logical/tests/test_Negation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/logical/tests/test_Negation.py -------------------------------------------------------------------------------- /src/macleod/logical/tests/test_Quantifier.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/logical/tests/test_Quantifier.py -------------------------------------------------------------------------------- /src/macleod/logical/tests/test_Symbol.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/logical/tests/test_Symbol.py -------------------------------------------------------------------------------- /src/macleod/logical/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/logical/utils.py -------------------------------------------------------------------------------- /src/macleod/parsing/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/macleod/parsing/parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/parsing/parser.py -------------------------------------------------------------------------------- /src/macleod/scripts/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/scripts/__init__.py -------------------------------------------------------------------------------- /src/macleod/scripts/check_consistency.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/scripts/check_consistency.py -------------------------------------------------------------------------------- /src/macleod/scripts/check_consistency_all.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/scripts/check_consistency_all.py -------------------------------------------------------------------------------- /src/macleod/scripts/check_consistency_new.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/scripts/check_consistency_new.py -------------------------------------------------------------------------------- /src/macleod/scripts/check_nontrivial_consistency.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/scripts/check_nontrivial_consistency.py -------------------------------------------------------------------------------- /src/macleod/scripts/clif_converter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/scripts/clif_converter.py -------------------------------------------------------------------------------- /src/macleod/scripts/delete_output.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/scripts/delete_output.py -------------------------------------------------------------------------------- /src/macleod/scripts/licence.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/scripts/licence.py -------------------------------------------------------------------------------- /src/macleod/scripts/parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/scripts/parser.py -------------------------------------------------------------------------------- /src/macleod/scripts/prove_lemma.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/scripts/prove_lemma.py -------------------------------------------------------------------------------- /src/macleod/scripts/prove_lemma_all.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/scripts/prove_lemma_all.py -------------------------------------------------------------------------------- /src/macleod/scripts/prove_lemma_new.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/scripts/prove_lemma_new.py -------------------------------------------------------------------------------- /src/macleod/scripts/task_specs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/scripts/task_specs -------------------------------------------------------------------------------- /src/macleod/tests/.python-version: -------------------------------------------------------------------------------- 1 | 3.6.5 2 | -------------------------------------------------------------------------------- /src/macleod/tests/test_Ontology.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/macleod/tests/test_Ontology.py -------------------------------------------------------------------------------- /src/p9_tools/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/p9_tools/config.py: -------------------------------------------------------------------------------- 1 | # add file configurations here 2 | -------------------------------------------------------------------------------- /src/p9_tools/insertion/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/p9_tools/insertion/construct.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/p9_tools/insertion/construct.py -------------------------------------------------------------------------------- /src/p9_tools/insertion/insertion.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/p9_tools/insertion/insertion.py -------------------------------------------------------------------------------- /src/p9_tools/insertion/remove_duplicate_chains.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/p9_tools/insertion/remove_duplicate_chains.py -------------------------------------------------------------------------------- /src/p9_tools/parse/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/p9_tools/parse/model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/p9_tools/parse/model.py -------------------------------------------------------------------------------- /src/p9_tools/parse/theory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/p9_tools/parse/theory.py -------------------------------------------------------------------------------- /src/p9_tools/relationship/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/p9_tools/relationship/files.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/p9_tools/relationship/files.py -------------------------------------------------------------------------------- /src/p9_tools/relationship/relationship.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thahmann/macleod/HEAD/src/p9_tools/relationship/relationship.py --------------------------------------------------------------------------------