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/variable.py
src/deeplog/circuit/__init__.py
src/deeplog/circuit/backends.py
src/deeplog/circuit/circuit.py
src/deeplog/circuit/fold.py
src/deeplog/circuit/graph.py
src/deeplog/circuit/split.py
src/deeplog/circuit/transform.py
src/deeplog/circuit/knowledge_compile/__init__.py
src/deeplog/circuit/knowledge_compile/diagram.py
src/deeplog/circuit/knowledge_compile/dispatch.py
src/deeplog/circuit/knowledge_compile/mvsdd.py
src/deeplog/circuit/knowledge_compile/sdd.py
src/deeplog/circuit/lower/__init__.py
src/deeplog/circuit/lower/dispatch.py
src/deeplog/circuit/lower/generic.py
src/deeplog/circuit/lower/klay.py
src/deeplog/formula/__init__.py
src/deeplog/formula/ast.py
src/deeplog/formula/ast_factory.py
src/deeplog/formula/circuit_factory.py
src/deeplog/formula/circuit_node.py
src/deeplog/formula/deeplogformulafactory.py
src/deeplog/formula/dimacs_parser.py
src/deeplog/formula/distribution.py
src/deeplog/formula/passes.py
src/deeplog/formula/strategies.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/lower.py
src/deeplog/formula/deeplogmodulefactory/registry.py
src/deeplog/formula/deeplogmodulefactory/transform_cast.py
src/deeplog/formula/predicates/__init__.py
src/deeplog/formula/predicates/builtin_predicates.py
src/deeplog/formula/predicates/predicate.py
src/deeplog/grounding/__init__.py
src/deeplog/grounding/builder.py
src/deeplog/grounding/prolog/__init__.py
src/deeplog/grounding/prolog/builtins.py
src/deeplog/grounding/prolog/grounder.py
src/deeplog/grounding/prolog/parser.py
src/deeplog/grounding/prolog/program.py
src/deeplog/grounding/prolog/simple.py
src/deeplog/grounding/prolog/unify.py
src/deeplog/grounding/prolog/janus/__init__.py
src/deeplog/grounding/prolog/janus/builtins.pl
src/deeplog/grounding/prolog/janus/compilation.pl
src/deeplog/grounding/prolog/janus/engine.pl
src/deeplog/grounding/prolog/janus/janus.py
src/deeplog/grounding/prolog/janus/janus_translation.pl
src/deeplog/grounding/prolog/janus/simplify.pl
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/elementwise.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/ad.py
src/deeplog/systems/deepproblog/compile.py
src/deeplog/systems/deepproblog/parser.py
src/deeplog/systems/deepproblog/solver.py
src/deeplog/systems/deepproblog/transformation.py
src/deeplog/systems/deepproblog/kbest/__init__.py
src/deeplog/systems/deepproblog/kbest/engine.pl
src/deeplog/systems/deepproblog/kbest/heuristics.pl
src/deeplog/systems/deepproblog/kbest/kbest.py
src/deeplog/systems/deepproblog/kbest/predicate_evaluator.py
src/deeplog/systems/deepproblog/kbest/probabilistic_factory.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