skip the navigation

Packages

• About Debian
• Getting Debian
• Підтримка
• Developers' Corner

/usr/bin/clingo
/usr/bin/gringo
/usr/bin/iclingo
/usr/bin/lpconvert
/usr/bin/oclingo
/usr/bin/reify
/usr/lib/libclingo.so
/usr/lib/libclingo.so.3
/usr/lib/libclingo.so.3.0
/usr/share/doc/gringo/NEWS.Debian.gz
/usr/share/doc/gringo/README.md
/usr/share/doc/gringo/TODO.Debian
/usr/share/doc/gringo/changelog.Debian.amd64.gz
/usr/share/doc/gringo/changelog.Debian.gz
/usr/share/doc/gringo/changelog.gz
/usr/share/doc/gringo/copyright
/usr/share/doc/gringo/examples/c/CMakeLists.txt
/usr/share/doc/gringo/examples/c/application.c
/usr/share/doc/gringo/examples/c/ast.c
/usr/share/doc/gringo/examples/c/backend.c
/usr/share/doc/gringo/examples/c/configuration.c
/usr/share/doc/gringo/examples/c/control.c
/usr/share/doc/gringo/examples/c/model.c
/usr/share/doc/gringo/examples/c/propagator.c
/usr/share/doc/gringo/examples/c/solve-async.c
/usr/share/doc/gringo/examples/c/statistics.c
/usr/share/doc/gringo/examples/c/symbol.c
/usr/share/doc/gringo/examples/c/symbolic-atoms.c
/usr/share/doc/gringo/examples/c/theory-atoms.c
/usr/share/doc/gringo/examples/c/version.c
/usr/share/doc/gringo/examples/cc/CMakeLists.txt
/usr/share/doc/gringo/examples/cc/heuristic.cc
/usr/share/doc/gringo/examples/cc/inject-terms.cc
/usr/share/doc/gringo/examples/cc/solve-iteratively.cc
/usr/share/doc/gringo/examples/clingo/15puzzle/README.md
/usr/share/doc/gringo/examples/clingo/15puzzle/encoding.lp
/usr/share/doc/gringo/examples/clingo/15puzzle/instance1.lp
/usr/share/doc/gringo/examples/clingo/15puzzle/instance2.lp
/usr/share/doc/gringo/examples/clingo/addclause/README
/usr/share/doc/gringo/examples/clingo/addclause/addclause-lua.lp
/usr/share/doc/gringo/examples/clingo/addclause/addclause-py.lp
/usr/share/doc/gringo/examples/clingo/blocksworld/README
/usr/share/doc/gringo/examples/clingo/blocksworld/blocks_01.lp
/usr/share/doc/gringo/examples/clingo/blocksworld/control_01.lua
/usr/share/doc/gringo/examples/clingo/blocksworld/control_01.out
/usr/share/doc/gringo/examples/clingo/blocksworld/lua.lp
/usr/share/doc/gringo/examples/clingo/blocksworld/lua_interpret.lp
/usr/share/doc/gringo/examples/clingo/blocksworld/world.lp
/usr/share/doc/gringo/examples/clingo/cannot/README.md
/usr/share/doc/gringo/examples/clingo/cannot/cannot-lua.lp
/usr/share/doc/gringo/examples/clingo/cannot/cannot-py.lp
/usr/share/doc/gringo/examples/clingo/cannot/example.lp
/usr/share/doc/gringo/examples/clingo/commit/README
/usr/share/doc/gringo/examples/clingo/commit/commit-lua.lp
/usr/share/doc/gringo/examples/clingo/commit/commit-py.lp
/usr/share/doc/gringo/examples/clingo/commit/encoding.lp
/usr/share/doc/gringo/examples/clingo/consequences/README
/usr/share/doc/gringo/examples/clingo/consequences/brave-lua.lp
/usr/share/doc/gringo/examples/clingo/consequences/brave-py.lp
/usr/share/doc/gringo/examples/clingo/consequences/example.lp
/usr/share/doc/gringo/examples/clingo/context/README
/usr/share/doc/gringo/examples/clingo/context/context-lua.lp
/usr/share/doc/gringo/examples/clingo/context/context-py.lp
/usr/share/doc/gringo/examples/clingo/context/encoding.lp
/usr/share/doc/gringo/examples/clingo/controller-async/README
/usr/share/doc/gringo/examples/clingo/controller-async/client.lp
/usr/share/doc/gringo/examples/clingo/controller-async/controller.py
/usr/share/doc/gringo/examples/clingo/controller-processes/README
/usr/share/doc/gringo/examples/clingo/controller-processes/client.lp
/usr/share/doc/gringo/examples/clingo/controller-processes/client.py
/usr/share/doc/gringo/examples/clingo/controller-processes/server.py
/usr/share/doc/gringo/examples/clingo/controller-threads/README
/usr/share/doc/gringo/examples/clingo/controller-threads/client.lp
/usr/share/doc/gringo/examples/clingo/controller-threads/controller.py
/usr/share/doc/gringo/examples/clingo/cover/README
/usr/share/doc/gringo/examples/clingo/cover/control-lua.lp
/usr/share/doc/gringo/examples/clingo/cover/control-py.lp
/usr/share/doc/gringo/examples/clingo/cover/cover.lp
/usr/share/doc/gringo/examples/clingo/cover/instance.lp
/usr/share/doc/gringo/examples/clingo/cover/preprocess.lp
/usr/share/doc/gringo/examples/clingo/dl/README.md
/usr/share/doc/gringo/examples/clingo/dl/difference_logic.py
/usr/share/doc/gringo/examples/clingo/dl/dl.lp
/usr/share/doc/gringo/examples/clingo/dl/dlO.lp
/usr/share/doc/gringo/examples/clingo/dl/fsE.lp
/usr/share/doc/gringo/examples/clingo/dl/fsI.lp
/usr/share/doc/gringo/examples/clingo/domains/README
/usr/share/doc/gringo/examples/clingo/domains/domains-lua.lp
/usr/share/doc/gringo/examples/clingo/domains/domains-py.lp
/usr/share/doc/gringo/examples/clingo/domains/instance.lp
/usr/share/doc/gringo/examples/clingo/dot-propagator/README
/usr/share/doc/gringo/examples/clingo/dot-propagator/dot.lp
/usr/share/doc/gringo/examples/clingo/dot-propagator/test.lp
/usr/share/doc/gringo/examples/clingo/enum-assumption/README
/usr/share/doc/gringo/examples/clingo/enum-assumption/example-lua.lp
/usr/share/doc/gringo/examples/clingo/enum-assumption/example-py.lp
/usr/share/doc/gringo/examples/clingo/excel/README.md
/usr/share/doc/gringo/examples/clingo/excel/example.lp
/usr/share/doc/gringo/examples/clingo/excel/excel-py.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/encodings/encoding.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0004-graph_colouring-125-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0005-graph_colouring-125-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0007-graph_colouring-125-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0008-graph_colouring-125-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0013-graph_colouring-130-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0021-graph_colouring-135-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0022-graph_colouring-135-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0023-graph_colouring-135-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0025-graph_colouring-135-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0032-graph_colouring-140-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0036-graph_colouring-140-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0039-graph_colouring-140-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0040-graph_colouring-140-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0046-graph_colouring-145-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0047-graph_colouring-145-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0048-graph_colouring-145-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0050-graph_colouring-145-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0056-graph_colouring-150-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0059-graph_colouring-150-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0060-graph_colouring-150-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/encodings/encoding.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/100-partner_units-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/102-partner_units-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/114-partner_units_polynomial-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/115-partner_units_polynomial-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/119-partner_units_polynomial-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/127-partner_units_polynomial-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/153-partner_units-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/154-partner_units-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/156-partner_units-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/161-partner_units-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/175-partner_units_polynomial-75-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/180-partner_units_polynomial-47-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/188-partner_units_polynomial-57-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/196-partner_units_polynomial-59-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/26-partner_units_polynomial-60-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/52-partner_units_polynomial-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/58-partner_units_polynomial-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/69-partner_units_polynomial-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/91-partner_units-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/99-partner_units-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/README
/usr/share/doc/gringo/examples/clingo/expansion/main.py
/usr/share/doc/gringo/examples/clingo/extend_model/README.md
/usr/share/doc/gringo/examples/clingo/extend_model/extend_model-lua.lp
/usr/share/doc/gringo/examples/clingo/extend_model/extend_model-py.lp
/usr/share/doc/gringo/examples/clingo/external/README
/usr/share/doc/gringo/examples/clingo/external/external-lua.lp
/usr/share/doc/gringo/examples/clingo/external/external-py.lp
/usr/share/doc/gringo/examples/clingo/external/external.lp
/usr/share/doc/gringo/examples/clingo/heuristic/README.md
/usr/share/doc/gringo/examples/clingo/heuristic/encoding-lua.lp
/usr/share/doc/gringo/examples/clingo/heuristic/encoding-py.lp
/usr/share/doc/gringo/examples/clingo/heuristic/instance.lp
/usr/share/doc/gringo/examples/clingo/iclingo/README.md
/usr/share/doc/gringo/examples/clingo/iclingo/example.lp
/usr/share/doc/gringo/examples/clingo/iclingo/incmode-int.lp
/usr/share/doc/gringo/examples/clingo/iclingo/incmode-lua.lp
/usr/share/doc/gringo/examples/clingo/iclingo/incmode-py.lp
/usr/share/doc/gringo/examples/clingo/include/README
/usr/share/doc/gringo/examples/clingo/include/encoding-lua.lp
/usr/share/doc/gringo/examples/clingo/include/encoding-py.lp
/usr/share/doc/gringo/examples/clingo/include/include.lp
/usr/share/doc/gringo/examples/clingo/incqueens/README.md
/usr/share/doc/gringo/examples/clingo/incqueens/incqueens-lua.lp
/usr/share/doc/gringo/examples/clingo/incqueens/incqueens-py.lp
/usr/share/doc/gringo/examples/clingo/incqueens/incqueens.lp
/usr/share/doc/gringo/examples/clingo/itersolve/README
/usr/share/doc/gringo/examples/clingo/itersolve/itersolve-lua.lp
/usr/share/doc/gringo/examples/clingo/itersolve/itersolve-py.lp
/usr/share/doc/gringo/examples/clingo/itersolve/program.lp
/usr/share/doc/gringo/examples/clingo/load/README
/usr/share/doc/gringo/examples/clingo/load/load-lua.lp
/usr/share/doc/gringo/examples/clingo/load/load-py.lp
/usr/share/doc/gringo/examples/clingo/load/program.lp
/usr/share/doc/gringo/examples/clingo/onmodel/README
/usr/share/doc/gringo/examples/clingo/onmodel/onmodel-lua.lp
/usr/share/doc/gringo/examples/clingo/onmodel/onmodel-py.lp
/usr/share/doc/gringo/examples/clingo/opt/README.md
/usr/share/doc/gringo/examples/clingo/opt/opt.lp
/usr/share/doc/gringo/examples/clingo/opt/tohB.lp
/usr/share/doc/gringo/examples/clingo/opt/tohE.lp
/usr/share/doc/gringo/examples/clingo/opt/tohI.lp
/usr/share/doc/gringo/examples/clingo/planning/README
/usr/share/doc/gringo/examples/clingo/planning/convert.lp
/usr/share/doc/gringo/examples/clingo/planning/convert.sh
/usr/share/doc/gringo/examples/clingo/planning/encoding.lp
/usr/share/doc/gringo/examples/clingo/planning/instances/coins01.lp
/usr/share/doc/gringo/examples/clingo/planning/instances/comm02.lp
/usr/share/doc/gringo/examples/clingo/planning/instances/comm03.lp
/usr/share/doc/gringo/examples/clingo/planning/instances/comm05.lp
/usr/share/doc/gringo/examples/clingo/planning/instances/uts01.lp
/usr/share/doc/gringo/examples/clingo/planning/planning-lua.lp
/usr/share/doc/gringo/examples/clingo/pydoc/README
/usr/share/doc/gringo/examples/clingo/pydoc/pydoc-lib.py
/usr/share/doc/gringo/examples/clingo/pydoc/pydoc.lp
/usr/share/doc/gringo/examples/clingo/robots/README.md
/usr/share/doc/gringo/examples/clingo/robots/board.lp
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_blue_east.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_blue_north.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_blue_south.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_blue_west.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_green_east.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_green_north.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_green_south.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_green_west.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_red_east.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_red_north.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_red_south.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_red_west.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_yellow_east.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_yellow_north.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_yellow_south.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_yellow_west.gif
/usr/share/doc/gringo/examples/clingo/robots/img/moon_blue.gif
/usr/share/doc/gringo/examples/clingo/robots/img/moon_green.gif
/usr/share/doc/gringo/examples/clingo/robots/img/moon_red.gif
/usr/share/doc/gringo/examples/clingo/robots/img/moon_yellow.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_blue_east.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_blue_north.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_blue_south.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_blue_west.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_green_east.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_green_north.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_green_south.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_green_west.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_red_east.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_red_north.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_red_south.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_red_west.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_yellow_east.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_yellow_north.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_yellow_south.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_yellow_west.gif
/usr/share/doc/gringo/examples/clingo/robots/img/random_robot.gif
/usr/share/doc/gringo/examples/clingo/robots/img/robot_blue.gif
/usr/share/doc/gringo/examples/clingo/robots/img/robot_green.gif
/usr/share/doc/gringo/examples/clingo/robots/img/robot_red.gif
/usr/share/doc/gringo/examples/clingo/robots/img/robot_yellow.gif
/usr/share/doc/gringo/examples/clingo/robots/img/saturn_blue.gif
/usr/share/doc/gringo/examples/clingo/robots/img/saturn_green.gif
/usr/share/doc/gringo/examples/clingo/robots/img/saturn_red.gif
/usr/share/doc/gringo/examples/clingo/robots/img/saturn_yellow.gif
/usr/share/doc/gringo/examples/clingo/robots/img/star_blue.gif
/usr/share/doc/gringo/examples/clingo/robots/img/star_green.gif
/usr/share/doc/gringo/examples/clingo/robots/img/star_red.gif
/usr/share/doc/gringo/examples/clingo/robots/img/star_yellow.gif
/usr/share/doc/gringo/examples/clingo/robots/img/sun_blue.gif
/usr/share/doc/gringo/examples/clingo/robots/img/sun_green.gif
/usr/share/doc/gringo/examples/clingo/robots/img/sun_red.gif
/usr/share/doc/gringo/examples/clingo/robots/img/sun_yellow.gif
/usr/share/doc/gringo/examples/clingo/robots/img/tile_left.gif
/usr/share/doc/gringo/examples/clingo/robots/img/tile_right.gif
/usr/share/doc/gringo/examples/clingo/robots/img/wall_north.gif
/usr/share/doc/gringo/examples/clingo/robots/img/wall_west.gif
/usr/share/doc/gringo/examples/clingo/robots/robots.lp
/usr/share/doc/gringo/examples/clingo/robots/visualize.py
/usr/share/doc/gringo/examples/clingo/setconf/README
/usr/share/doc/gringo/examples/clingo/setconf/setconf-lua.lp
/usr/share/doc/gringo/examples/clingo/setconf/setconf-py.lp
/usr/share/doc/gringo/examples/clingo/solitaire/README.md
/usr/share/doc/gringo/examples/clingo/solitaire/instance.lp
/usr/share/doc/gringo/examples/clingo/solitaire/solitaire.lp
/usr/share/doc/gringo/examples/clingo/solitaire/visualize.py
/usr/share/doc/gringo/examples/clingo/solve-async/README
/usr/share/doc/gringo/examples/clingo/solve-async/program.lp
/usr/share/doc/gringo/examples/clingo/solve-async/solve-async-py.lp
/usr/share/doc/gringo/examples/clingo/stats/README
/usr/share/doc/gringo/examples/clingo/stats/example.lp
/usr/share/doc/gringo/examples/clingo/stats/stats-lua.lp
/usr/share/doc/gringo/examples/clingo/stats/stats-py.lp
/usr/share/doc/gringo/examples/clingo/tmode/README.md
/usr/share/doc/gringo/examples/clingo/tmode/example.lp
/usr/share/doc/gringo/examples/clingo/tmode/example2.lp
/usr/share/doc/gringo/examples/clingo/tmode/visitor.lp
/usr/share/doc/gringo/examples/clingo/unblock/README
/usr/share/doc/gringo/examples/clingo/unblock/inst1.lp
/usr/share/doc/gringo/examples/clingo/unblock/inst2.lp
/usr/share/doc/gringo/examples/clingo/unblock/inst3.lp
/usr/share/doc/gringo/examples/clingo/unblock/inst4.lp
/usr/share/doc/gringo/examples/clingo/unblock/inst5.lp
/usr/share/doc/gringo/examples/clingo/unblock/unblock.lp
/usr/share/doc/gringo/examples/clingo/unblock/visualize.py
/usr/share/doc/gringo/examples/gringo/acyc/README
/usr/share/doc/gringo/examples/gringo/acyc/encoding.lp
/usr/share/doc/gringo/examples/gringo/acyc/instance.lp
/usr/share/doc/gringo/examples/gringo/ast/README
/usr/share/doc/gringo/examples/gringo/ast/example.lp
/usr/share/doc/gringo/examples/gringo/ast/visitor.lp
/usr/share/doc/gringo/examples/gringo/gbie/README
/usr/share/doc/gringo/examples/gringo/gbie/gbie1.lp
/usr/share/doc/gringo/examples/gringo/gbie/gbie2.lp
/usr/share/doc/gringo/examples/gringo/gbie/instances/sat_01.lp
/usr/share/doc/gringo/examples/gringo/gbie/instances/sat_02.lp
/usr/share/doc/gringo/examples/gringo/gbie/instances/sat_03.lp
/usr/share/doc/gringo/examples/gringo/gbie/instances/unsat_01.lp
/usr/share/doc/gringo/examples/gringo/gbie/instances/unsat_02.lp
/usr/share/doc/gringo/examples/gringo/prime-implicants/README
/usr/share/doc/gringo/examples/gringo/prime-implicants/encoding.lp
/usr/share/doc/gringo/examples/gringo/prime-implicants/instance.lp
/usr/share/doc/gringo/examples/gringo/project/README
/usr/share/doc/gringo/examples/gringo/project/example.lp
/usr/share/doc/gringo/examples/gringo/queens/README
/usr/share/doc/gringo/examples/gringo/queens/queens1.lp
/usr/share/doc/gringo/examples/gringo/queens/queens2.lp
/usr/share/doc/gringo/examples/gringo/rec-cond/README
/usr/share/doc/gringo/examples/gringo/rec-cond/encoding.lp
/usr/share/doc/gringo/examples/gringo/rec-cond/instance.lp
/usr/share/doc/gringo/examples/gringo/sort/README.md
/usr/share/doc/gringo/examples/gringo/sort/encoding.lp
/usr/share/doc/gringo/examples/gringo/sort/sort-lua.lp
/usr/share/doc/gringo/examples/gringo/sort/sort-py.lp
/usr/share/doc/gringo/examples/gringo/subset/README
/usr/share/doc/gringo/examples/gringo/subset/example.lp
/usr/share/doc/gringo/examples/gringo/toh/README.md
/usr/share/doc/gringo/examples/gringo/toh/tohE.lp
/usr/share/doc/gringo/examples/gringo/toh/tohI.lp
/usr/share/doc/gringo/examples/reify/README.md
/usr/share/doc/gringo/examples/reify/example1.lp
/usr/share/doc/gringo/examples/reify/example2.lp
/usr/share/doc/gringo/examples/reify/meta.lp
/usr/share/doc/gringo/examples/reify/metaD.lp
/usr/share/doc/gringo/examples/reify/metaO.lp
/usr/share/man/man1/clingo.1.gz
/usr/share/man/man1/gringo.1.gz
/usr/share/man/man1/iclingo.1.gz
/usr/share/man/man1/lpconvert.1.gz
/usr/share/man/man1/oclingo.1.gz
/usr/share/man/man1/reify.1.gz