LICENSE
README.md
setup.py
src/cnl2asp/__init__.py
src/cnl2asp/cnl2asp.py
src/cnl2asp/grammar.lark
src/cnl2asp.egg-info/PKG-INFO
src/cnl2asp.egg-info/SOURCES.txt
src/cnl2asp.egg-info/dependency_links.txt
src/cnl2asp.egg-info/entry_points.txt
src/cnl2asp.egg-info/requires.txt
src/cnl2asp.egg-info/top_level.txt
src/cnl2asp/ASP_elements/__init__.py
src/cnl2asp/ASP_elements/asp_aggregate.py
src/cnl2asp/ASP_elements/asp_atom.py
src/cnl2asp/ASP_elements/asp_attribute.py
src/cnl2asp/ASP_elements/asp_conjunction.py
src/cnl2asp/ASP_elements/asp_element.py
src/cnl2asp/ASP_elements/asp_encoding.py
src/cnl2asp/ASP_elements/asp_operation.py
src/cnl2asp/ASP_elements/asp_program.py
src/cnl2asp/ASP_elements/asp_rule.py
src/cnl2asp/ASP_elements/asp_temporal_formula.py
src/cnl2asp/ASP_elements/solver/__init__.py
src/cnl2asp/ASP_elements/solver/clingo_result_parser.py
src/cnl2asp/ASP_elements/solver/clingo_wrapper.py
src/cnl2asp/ASP_elements/solver/telingo_result_parser.py
src/cnl2asp/ASP_elements/solver/telingo_wrapper.py
src/cnl2asp/converter/__init__.py
src/cnl2asp/converter/asp_converter.py
src/cnl2asp/converter/cnl2json_converter.py
src/cnl2asp/converter/converter_interface.py
src/cnl2asp/exception/__init__.py
src/cnl2asp/exception/cnl2asp_exceptions.py
src/cnl2asp/parser/__init__.py
src/cnl2asp/parser/command.py
src/cnl2asp/parser/parser.py
src/cnl2asp/parser/proposition_builder.py
src/cnl2asp/specification/__init__.py
src/cnl2asp/specification/aggregate_component.py
src/cnl2asp/specification/attribute_component.py
src/cnl2asp/specification/component.py
src/cnl2asp/specification/constant_component.py
src/cnl2asp/specification/entity_component.py
src/cnl2asp/specification/name_component.py
src/cnl2asp/specification/operation_component.py
src/cnl2asp/specification/problem.py
src/cnl2asp/specification/proposition.py
src/cnl2asp/specification/relation_component.py
src/cnl2asp/specification/signaturemanager.py
src/cnl2asp/specification/specification.py
src/cnl2asp/utility/__init__.py
src/cnl2asp/utility/utility.py