gringo (5.8.0-2)

2 versions available in kali/kali-last-snapshot/main/i386

Details

Core information at a glance

Distribution
kali
Origin
kali-last-snapshot
Repository
https://http.kali.org/kali
Codename
kali-last-snapshot
Component
main
Source
none
Architecture
i386
Section
interpreters
Priority
optional
Maintainer
Debian Science Maintainers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
15.7 kB
Size expected
2.1 MB
Size actual
2.1 MB
Size match

Dependencies

Required package dependencies

  • libc6 (>= 2.42)
  • libgcc-s1 (>= 7)
  • liblua5.4-0 (>= 5.4.6)
  • libstdc++6 (>= 14)

Suggested packages

Recommended additional packages

  • None

Description

grounding tools for (disjunctive) logic programs

Tags

Package classification tags

role::program

Checksums

Hash values and integrity verification status

TypeActualMatch
MD566d59914…c1433812
SHA-1614de2e8…29e9d41f
SHA-25697b1e2a0…3be18219
SHA-512150bd61d…5c5a2a40

Contents

Files and directories included

.
usr
usr/bin
usr/bin/clingo
usr/bin/gringo
usr/bin/lpconvert
usr/bin/reify
usr/include
usr/include/clingo.h
usr/include/clingo.hh
usr/lib
usr/lib/i386-linux-gnu
usr/lib/i386-linux-gnu/cmake
usr/lib/i386-linux-gnu/cmake/Clingo
usr/lib/i386-linux-gnu/cmake/Clingo/ClingoConfig.cmake
usr/lib/i386-linux-gnu/cmake/Clingo/ClingoConfigVersion.cmake
usr/lib/i386-linux-gnu/cmake/Clingo/ClingoTargets-release.cmake
usr/lib/i386-linux-gnu/cmake/Clingo/ClingoTargets.cmake
usr/lib/i386-linux-gnu/libclingo.so.4.0
usr/lib/libclingo.so.4.0
usr/share
usr/share/doc
usr/share/doc/gringo
usr/share/doc/gringo/README.md
usr/share/doc/gringo/TODO.Debian
usr/share/doc/gringo/changelog.Debian.gz
usr/share/doc/gringo/changelog.gz
usr/share/doc/gringo/copyright
usr/share/doc/gringo/examples
usr/share/doc/gringo/examples/c
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
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
usr/share/doc/gringo/examples/clingo/15puzzle
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
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
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
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/chemistry
usr/share/doc/gringo/examples/clingo/chemistry/README.md
usr/share/doc/gringo/examples/clingo/chemistry/app.py
usr/share/doc/gringo/examples/clingo/chemistry/chemistry.lp
usr/share/doc/gringo/examples/clingo/chemistry/external.lp
usr/share/doc/gringo/examples/clingo/consequences
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
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
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
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
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
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
usr/share/doc/gringo/examples/clingo/dl/README.md
usr/share/doc/gringo/examples/clingo/dl/app.py
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
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
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
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
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
usr/share/doc/gringo/examples/clingo/expansion/GraphColouring
usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/encodings
usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/encodings/encoding.lp
usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances
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
usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/encodings
usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/encodings/encoding.lp
usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances
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
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/extending
usr/share/doc/gringo/examples/clingo/extending/README.md
usr/share/doc/gringo/examples/clingo/extending/app.py
usr/share/doc/gringo/examples/clingo/extending/embedded.lp
usr/share/doc/gringo/examples/clingo/extending/example.lp
usr/share/doc/gringo/examples/clingo/extending/module.py
usr/share/doc/gringo/examples/clingo/external
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/gac
usr/share/doc/gringo/examples/clingo/gac/README.md
usr/share/doc/gringo/examples/clingo/gac/app.py
usr/share/doc/gringo/examples/clingo/gac/example.lp
usr/share/doc/gringo/examples/clingo/heuristic
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/hit
usr/share/doc/gringo/examples/clingo/hit/README.md
usr/share/doc/gringo/examples/clingo/hit/clingo-hit.py
usr/share/doc/gringo/examples/clingo/hit/example.lp
usr/share/doc/gringo/examples/clingo/iclingo
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
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
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
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
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/multishot
usr/share/doc/gringo/examples/clingo/multishot/README.md
usr/share/doc/gringo/examples/clingo/multishot/inc.py
usr/share/doc/gringo/examples/clingo/multishot/opt.py
usr/share/doc/gringo/examples/clingo/multishot/tohB.lp
usr/share/doc/gringo/examples/clingo/multishot/tohE.lp
usr/share/doc/gringo/examples/clingo/multishot/tohI.lp
usr/share/doc/gringo/examples/clingo/onmodel
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-enum
usr/share/doc/gringo/examples/clingo/opt-enum/README.md
usr/share/doc/gringo/examples/clingo/opt-enum/example1.lp
usr/share/doc/gringo/examples/clingo/opt-enum/example2.lp
usr/share/doc/gringo/examples/clingo/opt-enum/opt.py
usr/share/doc/gringo/examples/clingo/planning
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
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
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
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
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
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
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
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
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
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/tmode.py
usr/share/doc/gringo/examples/clingo/unblock
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/clingo/well-founded
usr/share/doc/gringo/examples/clingo/well-founded/README.md
usr/share/doc/gringo/examples/clingo/well-founded/example.lp
usr/share/doc/gringo/examples/clingo/well-founded/well-founded.py
usr/share/doc/gringo/examples/gringo
usr/share/doc/gringo/examples/gringo/acyc
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
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
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
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
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
usr/share/doc/gringo/examples/gringo/project/README
usr/share/doc/gringo/examples/gringo/project/example.lp
usr/share/doc/gringo/examples/gringo/queens
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
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
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
usr/share/doc/gringo/examples/gringo/subset/README
usr/share/doc/gringo/examples/gringo/subset/example.lp
usr/share/doc/gringo/examples/gringo/toh
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
usr/share/doc/gringo/examples/reify/austere
usr/share/doc/gringo/examples/reify/austere/README.md
usr/share/doc/gringo/examples/reify/austere/encoding.lp
usr/share/doc/gringo/examples/reify/austere/example.lp
usr/share/doc/gringo/examples/reify/classical
usr/share/doc/gringo/examples/reify/classical/README.md
usr/share/doc/gringo/examples/reify/classical/encoding.lp
usr/share/doc/gringo/examples/reify/classical/example1.lp
usr/share/doc/gringo/examples/reify/classical/example2.lp
usr/share/doc/gringo/examples/reify/common
usr/share/doc/gringo/examples/reify/common/README.md
usr/share/doc/gringo/examples/reify/common/meta.lp
usr/share/doc/gringo/examples/reify/common/metaD.lp
usr/share/doc/gringo/examples/reify/gac
usr/share/doc/gringo/examples/reify/gac/README.md
usr/share/doc/gringo/examples/reify/gac/domain.lp
usr/share/doc/gringo/examples/reify/gac/examples
usr/share/doc/gringo/examples/reify/gac/examples/2qbf
usr/share/doc/gringo/examples/reify/gac/examples/2qbf/README.md
usr/share/doc/gringo/examples/reify/gac/examples/2qbf/base.lp
usr/share/doc/gringo/examples/reify/gac/examples/2qbf/check.lp
usr/share/doc/gringo/examples/reify/gac/examples/2qbf/guess.lp
usr/share/doc/gringo/examples/reify/gac/examples/conformant
usr/share/doc/gringo/examples/reify/gac/examples/conformant/README.md
usr/share/doc/gringo/examples/reify/gac/examples/conformant/base.lp
usr/share/doc/gringo/examples/reify/gac/examples/conformant/check.lp
usr/share/doc/gringo/examples/reify/gac/examples/conformant/guess.lp
usr/share/doc/gringo/examples/reify/gac/examples/conformant/instance.lp
usr/share/doc/gringo/examples/reify/gac/examples/preferences
usr/share/doc/gringo/examples/reify/gac/examples/preferences/README.md
usr/share/doc/gringo/examples/reify/gac/examples/preferences/base.lp
usr/share/doc/gringo/examples/reify/gac/examples/preferences/check_subset.lp
usr/share/doc/gringo/examples/reify/gac/examples/preferences/check_superset.lp
usr/share/doc/gringo/examples/reify/gac/examples/preferences/guess.lp
usr/share/doc/gringo/examples/reify/gac/examples/simple
usr/share/doc/gringo/examples/reify/gac/examples/simple/README.md
usr/share/doc/gringo/examples/reify/gac/examples/simple/base.lp
usr/share/doc/gringo/examples/reify/gac/examples/simple/check.lp
usr/share/doc/gringo/examples/reify/gac/examples/simple/guess.lp
usr/share/doc/gringo/examples/reify/gac/examples/tictactoe
usr/share/doc/gringo/examples/reify/gac/examples/tictactoe/README.md
usr/share/doc/gringo/examples/reify/gac/examples/tictactoe/base.lp
usr/share/doc/gringo/examples/reify/gac/examples/tictactoe/check.lp
usr/share/doc/gringo/examples/reify/gac/examples/tictactoe/guess.lp
usr/share/doc/gringo/examples/reify/gac/glue.lp
usr/share/doc/gringo/examples/reify/gac/guess.lp
usr/share/doc/gringo/examples/reify/gac/run.sh
usr/share/doc/gringo/examples/reify/ht
usr/share/doc/gringo/examples/reify/ht/README.md
usr/share/doc/gringo/examples/reify/ht/encoding.lp
usr/share/doc/gringo/examples/reify/ht/example1.lp
usr/share/doc/gringo/examples/reify/ht/example2.lp
usr/share/doc/gringo/examples/reify/many
usr/share/doc/gringo/examples/reify/many/README.md
usr/share/doc/gringo/examples/reify/many/encoding.lp
usr/share/doc/gringo/examples/reify/many/example.lp
usr/share/doc/gringo/examples/reify/optimization
usr/share/doc/gringo/examples/reify/optimization/README.md
usr/share/doc/gringo/examples/reify/optimization/encoding.lp
usr/share/doc/gringo/examples/reify/optimization/example1.lp
usr/share/doc/gringo/examples/reify/optimization/example2.lp
usr/share/doc/gringo/examples/reify/simple
usr/share/doc/gringo/examples/reify/simple/README.md
usr/share/doc/gringo/examples/reify/simple/example.lp
usr/share/doc/gringo/examples/reify/supported
usr/share/doc/gringo/examples/reify/supported/README.md
usr/share/doc/gringo/examples/reify/supported/encoding.lp
usr/share/doc/gringo/examples/reify/supported/example1.lp
usr/share/doc/gringo/examples/reify/supported/example2.lp
usr/share/man
usr/share/man/man1
usr/share/man/man1/clingo.1.gz
usr/share/man/man1/gringo.1.gz
usr/share/man/man1/lpconvert.1.gz
usr/share/man/man1/reify.1.gz
usr/bin/iclingo
usr/bin/oclingo
usr/lib/i386-linux-gnu/libclingo.so
usr/lib/i386-linux-gnu/libclingo.so.4
usr/lib/libclingo.so
usr/lib/libclingo.so.4
usr/share/man/man1/iclingo.1.gz
usr/share/man/man1/oclingo.1.gz