LICENSE.txt
MANIFEST.in
README.md
setup.py
asprin/__init__.py
asprin/asprin.py
asprin/asprin_lib.lp
asprin.egg-info/PKG-INFO
asprin.egg-info/SOURCES.txt
asprin.egg-info/dependency_links.txt
asprin.egg-info/entry_points.txt
asprin.egg-info/top_level.txt
asprin/examples/cp_acyclic.lp
asprin/examples/cp_general.lp
asprin/examples/cp_tree.lp
asprin/examples/example1.lp
asprin/examples/example2.lp
asprin/examples/example3.lp
asprin/src/__init__.py
asprin/src/main/__init__.py
asprin/src/main/clingo_help.py
asprin/src/main/main.py
asprin/src/program_parser/__init__.py
asprin/src/program_parser/basic.py
asprin/src/program_parser/preference.py
asprin/src/program_parser/program_parser.py
asprin/src/program_parser/transitive_closure.py
asprin/src/program_parser/visitor.py
asprin/src/solver/__init__.py
asprin/src/solver/controller.py
asprin/src/solver/solver.py
asprin/src/solver/metasp/__init__.py
asprin/src/solver/metasp/metasp.py
asprin/src/solver/metasp/metasp_programs.py
asprin/src/solver/metasp/reify.py
asprin/src/spec_parser/__init__.py
asprin/src/spec_parser/ast.py
asprin/src/spec_parser/parsetab.py
asprin/src/spec_parser/spec_lexer.py
asprin/src/spec_parser/spec_parser.py
asprin/src/spec_parser/ply/__init__.py
asprin/src/spec_parser/ply/lex.py
asprin/src/spec_parser/ply/yacc.py
asprin/src/tests/__init__.py
asprin/src/tests/tester.py
asprin/src/tests/utils.py
asprin/src/tests/asprin_lib/test001.lp
asprin/src/tests/asprin_lib/test002.lp
asprin/src/tests/asprin_lib/test003.lp
asprin/src/tests/asprin_lib/test004.lp
asprin/src/tests/asprin_lib/test005.lp
asprin/src/tests/asprin_lib/test006.lp
asprin/src/tests/asprin_lib/test007.lp
asprin/src/tests/asprin_lib/test008.lp
asprin/src/tests/asprin_lib/test009.lp
asprin/src/tests/asprin_lib/test010.lp
asprin/src/tests/asprin_lib/test011.lp
asprin/src/tests/asprin_lib/test012.lp
asprin/src/tests/asprin_lib/test013.lp
asprin/src/tests/asprin_lib/test014.lp
asprin/src/tests/asprin_lib/test015.lp
asprin/src/tests/asprin_lib/test016.lp
asprin/src/tests/asprin_lib/test017.lp
asprin/src/tests/asprin_lib/test018.lp
asprin/src/tests/asprin_lib/test019.lp
asprin/src/tests/asprin_lib/test020.lp
asprin/src/tests/asprin_lib/test021.lp
asprin/src/tests/asprin_lib/test022.lp
asprin/src/tests/asprin_lib/test023.lp
asprin/src/tests/asprin_lib/test024.lp
asprin/src/tests/asprin_lib/test025.lp
asprin/src/tests/asprin_lib/test026.lp
asprin/src/tests/asprin_lib/test027.lp
asprin/src/tests/asprin_lib/cp/test001.lp
asprin/src/tests/asprin_lib/cp/test002.lp
asprin/src/tests/asprin_lib/cp/test003.lp
asprin/src/tests/asprin_lib/cp/test004.lp
asprin/src/tests/asprin_lib/cp/test005.lp
asprin/src/tests/asprin_lib/cp/test006.lp
asprin/src/tests/asprin_lib/cp/test007.lp
asprin/src/tests/asprin_lib/cp/test008.lp
asprin/src/tests/asprin_lib/cp/test009.lp
asprin/src/tests/asprin_lib/cp/test010.lp
asprin/src/tests/program_parser/basic/test001.lp
asprin/src/tests/program_parser/basic/test002.lp
asprin/src/tests/program_parser/basic/test003.lp
asprin/src/tests/program_parser/basic/test004.lp
asprin/src/tests/program_parser/basic/test005.lp
asprin/src/tests/program_parser/program_parser/test001.lp
asprin/src/tests/program_parser/program_parser/test002.lp
asprin/src/tests/program_parser/program_parser/test003.lp
asprin/src/tests/program_parser/program_parser/test004.lp
asprin/src/tests/program_parser/program_parser/test005.lp
asprin/src/tests/program_parser/program_parser/test006.lp
asprin/src/tests/program_parser/program_parser/test007.lp
asprin/src/tests/program_parser/program_parser/test008.lp
asprin/src/tests/program_parser/visitor/test001.lp
asprin/src/tests/program_parser/visitor/test002.lp
asprin/src/tests/program_parser/visitor/test003.lp
asprin/src/tests/program_parser/visitor/test004.lp
asprin/src/tests/program_parser/visitor/test005.lp
asprin/src/tests/solver/solver/test001.lp
asprin/src/tests/solver/solver/test002.lp
asprin/src/tests/solver/solver/test003.lp
asprin/src/tests/solver/solver/test004.lp
asprin/src/tests/solver/solver/test005.lp
asprin/src/tests/solver/solver/test006.lp
asprin/src/tests/solver/solver/test007.lp
asprin/src/tests/solver/solver/test008.lp
asprin/src/tests/solver/solver/test009.lp
asprin/src/tests/solver/solver/test010.lp
asprin/src/tests/solver/solver/test011.lp
asprin/src/tests/solver/solver/test012.lp
asprin/src/tests/solver/solver/test013.lp
asprin/src/tests/spec_parser/spec_lexer/test001.lp
asprin/src/tests/spec_parser/spec_lexer/test002.lp
asprin/src/tests/spec_parser/spec_lexer/test003.lp
asprin/src/tests/spec_parser/spec_lexer/test004.lp
asprin/src/tests/spec_parser/spec_lexer/test005.lp
asprin/src/tests/spec_parser/spec_lexer/test006.lp
asprin/src/tests/spec_parser/spec_lexer/test007.lp
asprin/src/tests/spec_parser/spec_lexer/test008.lp
asprin/src/tests/spec_parser/spec_lexer/test009.lp
asprin/src/tests/spec_parser/spec_lexer/test010.lp
asprin/src/tests/spec_parser/spec_lexer/test011.lp
asprin/src/tests/spec_parser/spec_parser/test001.lp
asprin/src/tests/spec_parser/spec_parser/test002.lp
asprin/src/tests/spec_parser/spec_parser/test003.lp
asprin/src/tests/spec_parser/spec_parser/test004.lp
asprin/src/tests/spec_parser/spec_parser/test005.lp
asprin/src/tests/spec_parser/spec_parser/test006.lp
asprin/src/tests/spec_parser/spec_parser/test007.lp
asprin/src/tests/spec_parser/spec_parser/test008.lp
asprin/src/tests/spec_parser/spec_parser/test009.lp
asprin/src/tests/spec_parser/spec_parser/test010.lp
asprin/src/tests/spec_parser/spec_parser/test011.lp
asprin/src/tests/spec_parser/spec_parser/test012.lp
asprin/src/tests/spec_parser/spec_parser/test013.lp
asprin/src/tests/spec_parser/spec_parser/test014.lp
asprin/src/tests/spec_parser/spec_parser/test015.lp
asprin/src/tests/spec_parser/spec_parser/test016.lp
asprin/src/tests/spec_parser/spec_parser/test017.lp
asprin/src/tests/spec_parser/spec_parser/test018.lp
asprin/src/tests/spec_parser/spec_parser/test019.lp
asprin/src/tests/spec_parser/spec_parser/test020.lp
asprin/src/tests/spec_parser/spec_parser/test021.lp
asprin/src/tests/spec_parser/spec_parser/test022.lp
asprin/src/tests/spec_parser/spec_parser/test023.lp
asprin/src/tests/spec_parser/spec_parser/test024.lp
asprin/src/tests/spec_parser/spec_parser/test025.lp
asprin/src/tests/spec_parser/spec_parser/test026.lp
asprin/src/tests/spec_parser/spec_parser/test027.lp
asprin/src/tests/spec_parser/spec_parser/test028.lp
asprin/src/tests/spec_parser/spec_parser/one_dir/test022.lp.aux
asprin/src/utils/__init__.py
asprin/src/utils/clingo_signal_handler.py
asprin/src/utils/clingo_stats.py
asprin/src/utils/printer.py
asprin/src/utils/utils.py