LICENSE
MANIFEST.in
README.md
pyproject.toml
src/deeplog/__init__.py
src/deeplog/algebraic.py
src/deeplog/graph_backend.py
src/deeplog/shape.py
src/deeplog/symbol.py
src/deeplog/util.py
src/deeplog/circuit/__init__.py
src/deeplog/circuit/circuit.py
src/deeplog/circuit/generic.py
src/deeplog/circuit/graph.py
src/deeplog/circuit/transform.py
src/deeplog/circuit/compile/__init__.py
src/deeplog/circuit/compile/common.py
src/deeplog/circuit/compile/klay.py
src/deeplog/circuit/compile/mvsdd.py
src/deeplog/circuit/compile/pysdd.py
src/deeplog/formula/__init__.py
src/deeplog/formula/deeplogformulafactory.py
src/deeplog/formula/dimacs_parser.py
src/deeplog/formula/distribution.py
src/deeplog/formula/symbolic_factory.py
src/deeplog/formula/text_parser_lark.py
src/deeplog/formula/deeplogmodulefactory/__init__.py
src/deeplog/formula/deeplogmodulefactory/builder_protocols.py
src/deeplog/formula/deeplogmodulefactory/deeplogmodulefactory.py
src/deeplog/formula/deeplogmodulefactory/default_builders.py
src/deeplog/formula/deeplogmodulefactory/nodes.py
src/deeplog/formula/deeplogmodulefactory/registry.py
src/deeplog/formula/predicates/__init__.py
src/deeplog/formula/predicates/builtin_predicates.py
src/deeplog/formula/predicates/predicate.py
src/deeplog/module/__init__.py
src/deeplog/module/abstract_aggregation_module.py
src/deeplog/module/aggregation_modules.py
src/deeplog/module/deeplog_module.py
src/deeplog/module/module_circuit.py
src/deeplog/module/reshape.py
src/deeplog/module/sequential.py
src/deeplog/module/wrappers.py
src/deeplog/systems/__init__.py
src/deeplog/systems/deepproblog/__init__.py
src/deeplog/systems/deepproblog/compile.py
src/deeplog/systems/deepproblog/engine/__init__.py
src/deeplog/systems/deepproblog/engine/builtins.py
src/deeplog/systems/deepproblog/engine/engine.py
src/deeplog/systems/deepproblog/engine/simple_engine.py
src/deeplog/systems/deepproblog/engine/unify.py
src/deeplog/systems/deepproblog/engine/janus_engine/__init__.py
src/deeplog/systems/deepproblog/engine/janus_engine/builtins.pl
src/deeplog/systems/deepproblog/engine/janus_engine/compilation.pl
src/deeplog/systems/deepproblog/engine/janus_engine/engine.pl
src/deeplog/systems/deepproblog/engine/janus_engine/janus_engine.py
src/deeplog/systems/deepproblog/engine/janus_engine/janus_translation.pl
src/deeplog/systems/deepproblog/engine/janus_engine/simplify.pl
src/deeplog/systems/deepproblog/engine/kbest_janus_engine/__init__.py
src/deeplog/systems/deepproblog/engine/kbest_janus_engine/engine.pl
src/deeplog/systems/deepproblog/engine/kbest_janus_engine/heuristics.pl
src/deeplog/systems/deepproblog/engine/kbest_janus_engine/kbest_janus_engine.py
src/deeplog/systems/deepproblog/engine/kbest_janus_engine/predicate_evaluator.py
src/deeplog/systems/deepproblog/program/__init__.py
src/deeplog/systems/deepproblog/program/program.py
src/deeplog/systems/deepproblog/program/transformation.py
src/pydeeplog.egg-info/PKG-INFO
src/pydeeplog.egg-info/SOURCES.txt
src/pydeeplog.egg-info/dependency_links.txt
src/pydeeplog.egg-info/requires.txt
src/pydeeplog.egg-info/top_level.txt