LICENSE
README.md
pyproject.toml
setup.cfg
./logipy/__init__.py
./logipy/__main__.py
./logipy/config.py
./logipy/exception_handler.py
./logipy/exceptions.py
./logipy/logipy_utils.py
./logipy/evaluation/__init__.py
./logipy/evaluation/evaluate_on_examples.py
./logipy/evaluation/evaluate_on_synthetics.py
./logipy/evaluation/evaluation.py
./logipy/graphs/__init__.py
./logipy/graphs/colorizable_multidigraph.py
./logipy/graphs/logical_operators.py
./logipy/graphs/timed_property_graph.py
./logipy/graphs/timestamps.py
./logipy/importer/__init__.py
./logipy/importer/file_converter.py
./logipy/importer/gherkin_importer.py
./logipy/importer/logipy_ignore.py
./logipy/importer/text_converter.py
./logipy/logic/__init__.py
./logipy/logic/next_theorem_selectors.py
./logipy/logic/properties.py
./logipy/logic/prover.py
./logipy/logic/rules.py
./logipy/models/__init__.py
./logipy/models/callbacks.py
./logipy/models/dataset_generator.py
./logipy/models/gnn_model.py
./logipy/models/graph_neural_theorem_selector.py
./logipy/models/io.py
./logipy/models/neural_theorem_selector.py
./logipy/models/simple_model.py
./logipy/models/theorem_proving_model.py
./logipy/models/train_config.py
./logipy/models/train_model.py
./logipy/monitor/__init__.py
./logipy/monitor/monitored_predicate.py
./logipy/monitor/time_source.py
./logipy/monitor/wrappers.py
./logipy/monitor/wrappers_old.py
./logipy/visualization_strategies/__init__.py
./logipy/visualization_strategies/set_full_visualization_scheme.py
./logipy/visualization_strategies/set_proving_process_visualization_enabled.py
./tests/__init__.py
./tests/visualize_samples.py
./tests/logipy/__init__.py
./tests/logipy/graphs/__init__.py
./tests/logipy/graphs/test_colorizable_digraph.py
./tests/logipy/graphs/test_timed_property_graph.py
./tests/logipy/graphs/test_timestamps.py
./tests/logipy/importer/__init__.py
./tests/logipy/importer/sample_properties.py
./tests/logipy/importer/test_gherkin_importer.py
./tests/logipy/logic/__init__.py
./tests/logipy/logic/test_prover.py
./tests/logipy/models/__init__.py
./tests/logipy/models/test_dataset_generator.py
./tests/logipy/models/test_model_trainer.py
logipy/__init__.py
logipy/__main__.py
logipy/config.py
logipy/exception_handler.py
logipy/exceptions.py
logipy/logipy_utils.py
logipy/evaluation/__init__.py
logipy/evaluation/evaluate_on_examples.py
logipy/evaluation/evaluate_on_synthetics.py
logipy/evaluation/evaluation.py
logipy/graphs/__init__.py
logipy/graphs/colorizable_multidigraph.py
logipy/graphs/logical_operators.py
logipy/graphs/timed_property_graph.py
logipy/graphs/timestamps.py
logipy/importer/__init__.py
logipy/importer/file_converter.py
logipy/importer/gherkin_importer.py
logipy/importer/logipy_ignore.py
logipy/importer/text_converter.py
logipy/logic/__init__.py
logipy/logic/next_theorem_selectors.py
logipy/logic/properties.py
logipy/logic/prover.py
logipy/logic/rules.py
logipy/models/__init__.py
logipy/models/callbacks.py
logipy/models/dataset_generator.py
logipy/models/gnn_model.py
logipy/models/graph_neural_theorem_selector.py
logipy/models/io.py
logipy/models/neural_theorem_selector.py
logipy/models/simple_model.py
logipy/models/theorem_proving_model.py
logipy/models/train_config.py
logipy/models/train_model.py
logipy/monitor/__init__.py
logipy/monitor/monitored_predicate.py
logipy/monitor/time_source.py
logipy/monitor/wrappers.py
logipy/monitor/wrappers_old.py
logipy/visualization_strategies/__init__.py
logipy/visualization_strategies/set_full_visualization_scheme.py
logipy/visualization_strategies/set_proving_process_visualization_enabled.py
lovpy.egg-info/PKG-INFO
lovpy.egg-info/SOURCES.txt
lovpy.egg-info/dependency_links.txt
lovpy.egg-info/requires.txt
lovpy.egg-info/top_level.txt
tests/__init__.py
tests/visualize_samples.py
tests/logipy/__init__.py
tests/logipy/graphs/__init__.py
tests/logipy/graphs/test_colorizable_digraph.py
tests/logipy/graphs/test_timed_property_graph.py
tests/logipy/graphs/test_timestamps.py
tests/logipy/importer/__init__.py
tests/logipy/importer/sample_properties.py
tests/logipy/importer/test_gherkin_importer.py
tests/logipy/logic/__init__.py
tests/logipy/logic/test_prover.py
tests/logipy/models/__init__.py
tests/logipy/models/test_dataset_generator.py
tests/logipy/models/test_model_trainer.py