/usr/share/doc/ is in gringo 4.5.4-1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/share/doc/gringo/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/onmodel/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/onmodel/onmodel-lua.lp
|
text/x-c | root:root | 0o644 | 1.1 KB |
/usr/share/doc/gringo/examples/clingo/onmodel/README
|
text/plain | root:root | 0o644 | 401 bytes |
/usr/share/doc/gringo/examples/clingo/onmodel/onmodel-py.lp
|
text/x-python | root:root | 0o644 | 997 bytes |
/usr/share/doc/gringo/examples/clingo/ipython/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/ipython/README
|
text/plain | root:root | 0o644 | 555 bytes |
/usr/share/doc/gringo/examples/clingo/ipython/ipython.py
|
text/x-python | root:root | 0o644 | 78 bytes |
/usr/share/doc/gringo/examples/clingo/blocksworld/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/blocksworld/control_01.out.gz
|
application/gzip | root:root | 0o644 | 1.2 KB |
/usr/share/doc/gringo/examples/clingo/blocksworld/world.lp.gz
|
application/gzip | root:root | 0o644 | 1.3 KB |
/usr/share/doc/gringo/examples/clingo/blocksworld/README
|
text/plain | root:root | 0o644 | 530 bytes |
/usr/share/doc/gringo/examples/clingo/blocksworld/control_01.lua
|
text/plain | root:root | 0o644 | 142 bytes |
/usr/share/doc/gringo/examples/clingo/blocksworld/blocks_01.lp
|
text/plain | root:root | 0o644 | 315 bytes |
/usr/share/doc/gringo/examples/clingo/blocksworld/lua.lp
|
text/plain | root:root | 0o644 | 2.9 KB |
/usr/share/doc/gringo/examples/clingo/blocksworld/lua_interpret.lp
|
text/x-c | root:root | 0o644 | 298 bytes |
/usr/share/doc/gringo/examples/clingo/external/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/external/external.lp
|
text/plain | root:root | 0o644 | 137 bytes |
/usr/share/doc/gringo/examples/clingo/external/external-py.lp
|
text/x-python | root:root | 0o644 | 326 bytes |
/usr/share/doc/gringo/examples/clingo/external/README
|
text/plain | root:root | 0o644 | 123 bytes |
/usr/share/doc/gringo/examples/clingo/external/external-lua.lp
|
text/x-c | root:root | 0o644 | 325 bytes |
/usr/share/doc/gringo/examples/clingo/stats/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/stats/README
|
text/plain | root:root | 0o644 | 353 bytes |
/usr/share/doc/gringo/examples/clingo/stats/stats-lua.lp
|
text/x-c | root:root | 0o644 | 365 bytes |
/usr/share/doc/gringo/examples/clingo/stats/example.lp
|
text/plain | root:root | 0o644 | 54 bytes |
/usr/share/doc/gringo/examples/clingo/stats/stats-py.lp
|
text/x-python | root:root | 0o644 | 278 bytes |
/usr/share/doc/gringo/examples/clingo/consequences/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/consequences/README
|
text/plain | root:root | 0o644 | 184 bytes |
/usr/share/doc/gringo/examples/clingo/consequences/brave-lua.lp
|
text/x-c | root:root | 0o644 | 877 bytes |
/usr/share/doc/gringo/examples/clingo/consequences/example.lp
|
text/plain | root:root | 0o644 | 156 bytes |
/usr/share/doc/gringo/examples/clingo/consequences/brave-py.lp
|
text/x-python | root:root | 0o644 | 510 bytes |
/usr/share/doc/gringo/examples/clingo/incqueens/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/incqueens/README
|
text/plain | root:root | 0o644 | 304 bytes |
/usr/share/doc/gringo/examples/clingo/incqueens/incqueens.lp
|
text/plain | root:root | 0o644 | 857 bytes |
/usr/share/doc/gringo/examples/clingo/incqueens/incqueens-lua.lp
|
text/x-c | root:root | 0o644 | 491 bytes |
/usr/share/doc/gringo/examples/clingo/incqueens/incqueens-py.lp
|
text/x-python | root:root | 0o644 | 363 bytes |
/usr/share/doc/gringo/examples/clingo/controller-threads/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/controller-threads/README
|
text/plain | root:root | 0o644 | 297 bytes |
/usr/share/doc/gringo/examples/clingo/controller-threads/controller.py.gz
|
application/gzip | root:root | 0o644 | 1.5 KB |
/usr/share/doc/gringo/examples/clingo/controller-threads/client.lp
|
text/plain | root:root | 0o644 | 283 bytes |
/usr/share/doc/gringo/examples/clingo/unblock/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/unblock/visualize.py.gz
|
application/gzip | root:root | 0o644 | 1.7 KB |
/usr/share/doc/gringo/examples/clingo/unblock/unblock.lp
|
text/x-c | root:root | 0o644 | 1.6 KB |
/usr/share/doc/gringo/examples/clingo/unblock/inst3.lp
|
text/plain | root:root | 0o644 | 178 bytes |
/usr/share/doc/gringo/examples/clingo/unblock/inst2.lp
|
text/plain | root:root | 0o644 | 301 bytes |
/usr/share/doc/gringo/examples/clingo/unblock/inst5.lp
|
text/plain | root:root | 0o644 | 643 bytes |
/usr/share/doc/gringo/examples/clingo/unblock/README
|
text/plain | root:root | 0o644 | 343 bytes |
/usr/share/doc/gringo/examples/clingo/unblock/inst1.lp
|
text/plain | root:root | 0o644 | 244 bytes |
/usr/share/doc/gringo/examples/clingo/unblock/inst4.lp
|
text/plain | root:root | 0o644 | 195 bytes |
/usr/share/doc/gringo/examples/clingo/domains/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/domains/README
|
text/plain | root:root | 0o644 | 243 bytes |
/usr/share/doc/gringo/examples/clingo/domains/domains-lua.lp
|
text/x-c | root:root | 0o644 | 703 bytes |
/usr/share/doc/gringo/examples/clingo/domains/domains-py.lp
|
text/x-python | root:root | 0o644 | 612 bytes |
/usr/share/doc/gringo/examples/clingo/domains/instance.lp
|
text/plain | root:root | 0o644 | 51 bytes |
/usr/share/doc/gringo/examples/clingo/solve-async/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/solve-async/README
|
text/plain | root:root | 0o644 | 261 bytes |
/usr/share/doc/gringo/examples/clingo/solve-async/program.lp
|
text/plain | root:root | 0o644 | 82 bytes |
/usr/share/doc/gringo/examples/clingo/solve-async/solve-async-py.lp
|
text/x-python | root:root | 0o644 | 470 bytes |
/usr/share/doc/gringo/examples/clingo/solve-async/solve-async-lua.lp
|
text/x-c | root:root | 0o644 | 503 bytes |
/usr/share/doc/gringo/examples/clingo/robots/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/robots/visualize.py.gz
|
application/gzip | root:root | 0o644 | 3.9 KB |
/usr/share/doc/gringo/examples/clingo/robots/img/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/robots/img/move_yellow_west.gif
|
image/gif | root:root | 0o644 | 643 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/wall_west.gif
|
image/gif | root:root | 0o644 | 1.1 KB |
/usr/share/doc/gringo/examples/clingo/robots/img/move_blue_west.gif
|
image/gif | root:root | 0o644 | 647 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/tile_left.gif
|
image/gif | root:root | 0o644 | 1.7 KB |
/usr/share/doc/gringo/examples/clingo/robots/img/move_red_south.gif
|
image/gif | root:root | 0o644 | 627 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_green_west.gif
|
image/gif | root:root | 0o644 | 690 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/move_yellow_east.gif
|
image/gif | root:root | 0o644 | 631 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/saturn_blue.gif
|
image/gif | root:root | 0o644 | 763 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/sun_yellow.gif
|
image/gif | root:root | 0o644 | 1.1 KB |
/usr/share/doc/gringo/examples/clingo/robots/img/robot_red.gif
|
image/gif | root:root | 0o644 | 687 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/move_red_west.gif
|
image/gif | root:root | 0o644 | 647 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/robot_green.gif
|
image/gif | root:root | 0o644 | 1.1 KB |
/usr/share/doc/gringo/examples/clingo/robots/img/move_blue_south.gif
|
image/gif | root:root | 0o644 | 627 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_green_north.gif
|
image/gif | root:root | 0o644 | 704 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/moon_red.gif
|
image/gif | root:root | 0o644 | 1.1 KB |
/usr/share/doc/gringo/examples/clingo/robots/img/robot_yellow.gif
|
image/gif | root:root | 0o644 | 685 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_yellow_west.gif
|
image/gif | root:root | 0o644 | 679 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_green_east.gif
|
image/gif | root:root | 0o644 | 697 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_green_south.gif
|
image/gif | root:root | 0o644 | 714 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/tile_right.gif
|
image/gif | root:root | 0o644 | 1.7 KB |
/usr/share/doc/gringo/examples/clingo/robots/img/move_blue_east.gif
|
image/gif | root:root | 0o644 | 637 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/star_green.gif
|
image/gif | root:root | 0o644 | 757 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/move_green_east.gif
|
image/gif | root:root | 0o644 | 624 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/random_robot.gif
|
image/gif | root:root | 0o644 | 1.4 KB |
/usr/share/doc/gringo/examples/clingo/robots/img/saturn_red.gif
|
image/gif | root:root | 0o644 | 763 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_red_north.gif
|
image/gif | root:root | 0o644 | 643 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/move_yellow_north.gif
|
image/gif | root:root | 0o644 | 631 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/moon_yellow.gif
|
image/gif | root:root | 0o644 | 1.1 KB |
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_yellow_south.gif
|
image/gif | root:root | 0o644 | 658 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/sun_blue.gif
|
image/gif | root:root | 0o644 | 1.1 KB |
/usr/share/doc/gringo/examples/clingo/robots/img/saturn_yellow.gif
|
image/gif | root:root | 0o644 | 763 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/move_yellow_south.gif
|
image/gif | root:root | 0o644 | 627 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_blue_east.gif
|
image/gif | root:root | 0o644 | 680 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/move_red_north.gif
|
image/gif | root:root | 0o644 | 634 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/star_yellow.gif
|
image/gif | root:root | 0o644 | 723 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_blue_south.gif
|
image/gif | root:root | 0o644 | 657 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_blue_west.gif
|
image/gif | root:root | 0o644 | 679 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/robot_blue.gif
|
image/gif | root:root | 0o644 | 687 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_yellow_north.gif
|
image/gif | root:root | 0o644 | 640 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/saturn_green.gif
|
image/gif | root:root | 0o644 | 825 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/star_red.gif
|
image/gif | root:root | 0o644 | 721 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/move_green_west.gif
|
image/gif | root:root | 0o644 | 653 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/sun_red.gif
|
image/gif | root:root | 0o644 | 1.1 KB |
/usr/share/doc/gringo/examples/clingo/robots/img/move_green_south.gif
|
image/gif | root:root | 0o644 | 657 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/wall_north.gif
|
image/gif | root:root | 0o644 | 1.1 KB |
/usr/share/doc/gringo/examples/clingo/robots/img/move_blue_north.gif
|
image/gif | root:root | 0o644 | 634 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_red_west.gif
|
image/gif | root:root | 0o644 | 679 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/moon_green.gif
|
image/gif | root:root | 0o644 | 1.1 KB |
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_blue_north.gif
|
image/gif | root:root | 0o644 | 643 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/star_blue.gif
|
image/gif | root:root | 0o644 | 721 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/move_green_north.gif
|
image/gif | root:root | 0o644 | 639 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/move_red_east.gif
|
image/gif | root:root | 0o644 | 616 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_red_south.gif
|
image/gif | root:root | 0o644 | 657 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_red_east.gif
|
image/gif | root:root | 0o644 | 680 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_yellow_east.gif
|
image/gif | root:root | 0o644 | 680 bytes |
/usr/share/doc/gringo/examples/clingo/robots/img/moon_blue.gif
|
image/gif | root:root | 0o644 | 1.1 KB |
/usr/share/doc/gringo/examples/clingo/robots/img/sun_green.gif
|
image/gif | root:root | 0o644 | 1.1 KB |
/usr/share/doc/gringo/examples/clingo/robots/README
|
text/plain | root:root | 0o644 | 530 bytes |
/usr/share/doc/gringo/examples/clingo/setconf/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/robots/robots.lp
|
text/plain | root:root | 0o644 | 946 bytes |
/usr/share/doc/gringo/examples/clingo/robots/board.lp
|
text/plain | root:root | 0o644 | 1.9 KB |
/usr/share/doc/gringo/examples/clingo/include/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/include/include.lp
|
text/plain | root:root | 0o644 | 6 bytes |
/usr/share/doc/gringo/examples/clingo/include/encoding-py.lp
|
text/x-c | root:root | 0o644 | 146 bytes |
/usr/share/doc/gringo/examples/clingo/include/README
|
text/plain | root:root | 0o644 | 127 bytes |
/usr/share/doc/gringo/examples/clingo/include/encoding-lua.lp
|
text/x-c | root:root | 0o644 | 151 bytes |
/usr/share/doc/gringo/examples/clingo/controller-async/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/controller-async/README
|
text/plain | root:root | 0o644 | 270 bytes |
/usr/share/doc/gringo/examples/clingo/controller-async/controller.py.gz
|
application/gzip | root:root | 0o644 | 1.3 KB |
/usr/share/doc/gringo/examples/clingo/controller-async/client.lp
|
text/plain | root:root | 0o644 | 283 bytes |
/usr/share/doc/gringo/examples/clingo/enum-assumption/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/enum-assumption/example-lua.lp
|
text/x-c | root:root | 0o644 | 507 bytes |
/usr/share/doc/gringo/examples/clingo/enum-assumption/example-py.lp
|
text/x-python | root:root | 0o644 | 497 bytes |
/usr/share/doc/gringo/examples/clingo/enum-assumption/README
|
text/plain | root:root | 0o644 | 316 bytes |
/usr/share/doc/gringo/examples/clingo/planning/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/planning/README
|
text/plain | root:root | 0o644 | 244 bytes |
/usr/share/doc/gringo/examples/clingo/planning/convert.lp
|
text/plain | root:root | 0o644 | 1.1 KB |
/usr/share/doc/gringo/examples/clingo/planning/convert.sh
|
text/x-shellscript | root:root | 0o755 | 90 bytes |
/usr/share/doc/gringo/examples/clingo/planning/planning-lua.lp
|
text/x-c | root:root | 0o644 | 1.0 KB |
/usr/share/doc/gringo/examples/clingo/planning/encoding.lp
|
text/plain | root:root | 0o644 | 3.2 KB |
/usr/share/doc/gringo/examples/clingo/planning/instances/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/planning/instances/comm03.lp.gz
|
application/gzip | root:root | 0o644 | 1.1 KB |
/usr/share/doc/gringo/examples/clingo/planning/instances/comm05.lp.gz
|
application/gzip | root:root | 0o644 | 1.5 KB |
/usr/share/doc/gringo/examples/clingo/planning/instances/coins01.lp.gz
|
application/gzip | root:root | 0o644 | 726 bytes |
/usr/share/doc/gringo/examples/clingo/planning/instances/uts01.lp
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/doc/gringo/examples/clingo/planning/instances/comm02.lp.gz
|
application/gzip | root:root | 0o644 | 869 bytes |
/usr/share/doc/gringo/examples/clingo/controller-processes/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/controller-processes/README
|
text/plain | root:root | 0o644 | 342 bytes |
/usr/share/doc/gringo/examples/clingo/controller-processes/server.py
|
text/x-python | root:root | 0o644 | 3.2 KB |
/usr/share/doc/gringo/examples/clingo/controller-processes/client-lua.lp
|
text/x-c | root:root | 0o644 | 2.3 KB |
/usr/share/doc/gringo/examples/clingo/controller-processes/client-py.lp
|
text/x-c++ | root:root | 0o644 | 2.3 KB |
/usr/share/doc/gringo/examples/clingo/controller-processes/client.lp
|
text/plain | root:root | 0o644 | 283 bytes |
/usr/share/doc/gringo/examples/clingo/setconf/setconf-lua.lp
|
text/x-c | root:root | 0o644 | 1.5 KB |
/usr/share/doc/gringo/examples/clingo/setconf/README
|
text/plain | root:root | 0o644 | 137 bytes |
/usr/share/doc/gringo/examples/clingo/setconf/setconf-py.lp
|
text/x-python | root:root | 0o644 | 1.4 KB |
/usr/share/doc/gringo/examples/clingo/expansion/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/expansion/main.py.gz
|
application/gzip | root:root | 0o644 | 1.1 KB |
/usr/share/doc/gringo/examples/clingo/expansion/README
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/encodings/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/encodings/encoding.lp
|
text/plain | root:root | 0o644 | 595 bytes |
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0036-graph_colouring-140-0.lp.gz
|
application/gzip | root:root | 0o644 | 4.1 KB |
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0050-graph_colouring-145-0.lp.gz
|
application/gzip | root:root | 0o644 | 4.2 KB |
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0013-graph_colouring-130-0.lp.gz
|
application/gzip | root:root | 0o644 | 3.3 KB |
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0060-graph_colouring-150-0.lp.gz
|
application/gzip | root:root | 0o644 | 4.7 KB |
/usr/share/doc/gringo/examples/gringo/gbie/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0032-graph_colouring-140-0.lp.gz
|
application/gzip | root:root | 0o644 | 4.2 KB |
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0022-graph_colouring-135-0.lp.gz
|
application/gzip | root:root | 0o644 | 3.9 KB |
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0039-graph_colouring-140-0.lp.gz
|
application/gzip | root:root | 0o644 | 4.1 KB |
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0040-graph_colouring-140-0.lp.gz
|
application/gzip | root:root | 0o644 | 4.2 KB |
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0005-graph_colouring-125-0.lp.gz
|
application/gzip | root:root | 0o644 | 3.2 KB |
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0007-graph_colouring-125-0.lp.gz
|
application/gzip | root:root | 0o644 | 3.1 KB |
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0046-graph_colouring-145-0.lp.gz
|
application/gzip | root:root | 0o644 | 4.5 KB |
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0021-graph_colouring-135-0.lp.gz
|
application/gzip | root:root | 0o644 | 3.8 KB |
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0059-graph_colouring-150-0.lp.gz
|
application/gzip | root:root | 0o644 | 4.5 KB |
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0047-graph_colouring-145-0.lp.gz
|
application/gzip | root:root | 0o644 | 4.2 KB |
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0008-graph_colouring-125-0.lp.gz
|
application/gzip | root:root | 0o644 | 3.3 KB |
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0004-graph_colouring-125-0.lp.gz
|
application/gzip | root:root | 0o644 | 3.3 KB |
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0023-graph_colouring-135-0.lp.gz
|
application/gzip | root:root | 0o644 | 3.6 KB |
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0048-graph_colouring-145-0.lp.gz
|
application/gzip | root:root | 0o644 | 4.3 KB |
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0025-graph_colouring-135-0.lp.gz
|
application/gzip | root:root | 0o644 | 3.8 KB |
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0056-graph_colouring-150-0.lp.gz
|
application/gzip | root:root | 0o644 | 4.3 KB |
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/encodings/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/encodings/encoding.lp
|
text/plain | root:root | 0o644 | 2.2 KB |
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/156-partner_units-100-0.lp.gz
|
application/gzip | root:root | 0o644 | 2.5 KB |
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/175-partner_units_polynomial-75-0.lp.gz
|
application/gzip | root:root | 0o644 | 2.4 KB |
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/91-partner_units-100-0.lp.gz
|
application/gzip | root:root | 0o644 | 2.5 KB |
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/188-partner_units_polynomial-57-0.lp.gz
|
application/gzip | root:root | 0o644 | 1.8 KB |
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/161-partner_units-100-0.lp.gz
|
application/gzip | root:root | 0o644 | 2.5 KB |
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/69-partner_units_polynomial-100-0.lp.gz
|
application/gzip | root:root | 0o644 | 2.6 KB |
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/119-partner_units_polynomial-100-0.lp.gz
|
application/gzip | root:root | 0o644 | 2.6 KB |
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/127-partner_units_polynomial-100-0.lp.gz
|
application/gzip | root:root | 0o644 | 2.5 KB |
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/52-partner_units_polynomial-100-0.lp.gz
|
application/gzip | root:root | 0o644 | 2.5 KB |
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/196-partner_units_polynomial-59-0.lp.gz
|
application/gzip | root:root | 0o644 | 1.4 KB |
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/100-partner_units-100-0.lp.gz
|
application/gzip | root:root | 0o644 | 2.5 KB |
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/99-partner_units-100-0.lp.gz
|
application/gzip | root:root | 0o644 | 2.6 KB |
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/115-partner_units_polynomial-100-0.lp.gz
|
application/gzip | root:root | 0o644 | 2.6 KB |
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/153-partner_units-100-0.lp.gz
|
application/gzip | root:root | 0o644 | 2.6 KB |
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/26-partner_units_polynomial-60-0.lp.gz
|
application/gzip | root:root | 0o644 | 1.9 KB |
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/154-partner_units-100-0.lp.gz
|
application/gzip | root:root | 0o644 | 2.6 KB |
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/102-partner_units-100-0.lp.gz
|
application/gzip | root:root | 0o644 | 2.6 KB |
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/180-partner_units_polynomial-47-0.lp.gz
|
application/gzip | root:root | 0o644 | 1.2 KB |
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/58-partner_units_polynomial-100-0.lp.gz
|
application/gzip | root:root | 0o644 | 2.5 KB |
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/114-partner_units_polynomial-100-0.lp.gz
|
application/gzip | root:root | 0o644 | 2.6 KB |
/usr/share/doc/gringo/examples/clingo/solitaire/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/solitaire/visualize.py.gz
|
application/gzip | root:root | 0o644 | 1.5 KB |
/usr/share/doc/gringo/examples/clingo/solitaire/solitaire.lp
|
text/x-c | root:root | 0o644 | 996 bytes |
/usr/share/doc/gringo/examples/clingo/solitaire/README
|
text/plain | root:root | 0o644 | 1.2 KB |
/usr/share/doc/gringo/examples/clingo/solitaire/instance.lp
|
text/plain | root:root | 0o644 | 550 bytes |
/usr/share/doc/gringo/examples/clingo/commit/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/commit/commit-py.lp
|
text/x-python | root:root | 0o644 | 294 bytes |
/usr/share/doc/gringo/examples/clingo/commit/README
|
text/plain | root:root | 0o644 | 225 bytes |
/usr/share/doc/gringo/examples/clingo/commit/encoding.lp
|
text/plain | root:root | 0o644 | 63 bytes |
/usr/share/doc/gringo/examples/clingo/commit/commit-lua.lp
|
text/x-c | root:root | 0o644 | 311 bytes |
/usr/share/doc/gringo/examples/clingo/addclause/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/addclause/addclause-lua.lp
|
text/x-c | root:root | 0o644 | 383 bytes |
/usr/share/doc/gringo/examples/clingo/addclause/README
|
text/plain | root:root | 0o644 | 144 bytes |
/usr/share/doc/gringo/examples/clingo/addclause/addclause-py.lp
|
text/x-python | root:root | 0o644 | 389 bytes |
/usr/share/doc/gringo/examples/clingo/itersolve/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/itersolve/itersolve-lua.lp
|
text/x-c | root:root | 0o644 | 553 bytes |
/usr/share/doc/gringo/examples/clingo/itersolve/README
|
text/plain | root:root | 0o644 | 147 bytes |
/usr/share/doc/gringo/examples/clingo/itersolve/program.lp
|
text/plain | root:root | 0o644 | 9 bytes |
/usr/share/doc/gringo/examples/clingo/itersolve/itersolve-py.lp
|
text/x-python | root:root | 0o644 | 155 bytes |
/usr/share/doc/gringo/examples/clingo/cover/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/cover/preprocess.lp
|
text/plain | root:root | 0o644 | 307 bytes |
/usr/share/doc/gringo/examples/clingo/cover/cover.lp
|
text/plain | root:root | 0o644 | 200 bytes |
/usr/share/doc/gringo/examples/clingo/cover/README
|
text/plain | root:root | 0o644 | 197 bytes |
/usr/share/doc/gringo/examples/clingo/cover/control-lua.lp
|
text/x-c | root:root | 0o644 | 1.9 KB |
/usr/share/doc/gringo/examples/clingo/cover/instance.lp
|
text/plain | root:root | 0o644 | 146 bytes |
/usr/share/doc/gringo/examples/clingo/cover/control-py.lp
|
text/x-c++ | root:root | 0o644 | 1.6 KB |
/usr/share/doc/gringo/examples/clingo/context/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/context/context-py.lp
|
text/x-c++ | root:root | 0o644 | 375 bytes |
/usr/share/doc/gringo/examples/clingo/context/context-lua.lp
|
text/x-c | root:root | 0o644 | 459 bytes |
/usr/share/doc/gringo/examples/clingo/context/README
|
text/plain | root:root | 0o644 | 220 bytes |
/usr/share/doc/gringo/examples/clingo/context/encoding.lp
|
text/plain | root:root | 0o644 | 14 bytes |
/usr/share/doc/gringo/examples/clingo/iclingo/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/iclingo/incmode-lua.lp
|
text/x-c | root:root | 0o644 | 1.1 KB |
/usr/share/doc/gringo/examples/clingo/iclingo/incmode-py.lp
|
text/x-python | root:root | 0o644 | 1.0 KB |
/usr/share/doc/gringo/examples/clingo/iclingo/README
|
text/plain | root:root | 0o644 | 430 bytes |
/usr/share/doc/gringo/examples/clingo/iclingo/incmode-int.lp
|
text/x-c | root:root | 0o644 | 20 bytes |
/usr/share/doc/gringo/examples/clingo/iclingo/example.lp
|
text/plain | root:root | 0o644 | 178 bytes |
/usr/share/doc/gringo/examples/clingo/pydoc/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/pydoc/README
|
text/plain | root:root | 0o644 | 117 bytes |
/usr/share/doc/gringo/examples/clingo/pydoc/pydoc.lp
|
text/plain | root:root | 0o644 | 397 bytes |
/usr/share/doc/gringo/examples/clingo/pydoc/pydoc-lib.py
|
text/x-python | root:root | 0o755 | 369 bytes |
/usr/share/doc/gringo/examples/clingo/load/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/load/README
|
text/plain | root:root | 0o644 | 162 bytes |
/usr/share/doc/gringo/examples/clingo/load/program.lp
|
text/plain | root:root | 0o644 | 33 bytes |
/usr/share/doc/gringo/examples/clingo/load/load-py.lp
|
text/x-python | root:root | 0o644 | 372 bytes |
/usr/share/doc/gringo/examples/clingo/load/load-lua.lp
|
text/x-c | root:root | 0o644 | 445 bytes |
/usr/share/doc/gringo/examples/reify/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/reify/example2.lp.gz
|
application/gzip | root:root | 0o644 | 1.4 KB |
/usr/share/doc/gringo/examples/reify/README
|
text/plain | root:root | 0o644 | 857 bytes |
/usr/share/doc/gringo/examples/reify/metaO.lp
|
text/plain | root:root | 0o644 | 3.8 KB |
/usr/share/doc/gringo/examples/reify/metaD.lp
|
text/plain | root:root | 0o644 | 3.9 KB |
/usr/share/doc/gringo/examples/reify/example1.lp
|
text/plain | root:root | 0o644 | 138 bytes |
/usr/share/doc/gringo/examples/reify/meta.lp
|
text/plain | root:root | 0o644 | 2.2 KB |
/usr/share/doc/gringo/examples/gringo/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/gringo/rec-cond/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/gringo/rec-cond/README
|
text/plain | root:root | 0o644 | 112 bytes |
/usr/share/doc/gringo/examples/gringo/rec-cond/encoding.lp
|
text/plain | root:root | 0o644 | 2.4 KB |
/usr/share/doc/gringo/examples/gringo/rec-cond/instance.lp
|
text/plain | root:root | 0o644 | 2.0 KB |
/usr/share/doc/gringo/examples/gringo/gbie/gbie2.lp
|
text/plain | root:root | 0o644 | 933 bytes |
/usr/share/doc/gringo/examples/gringo/gbie/gbie1.lp
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/doc/gringo/examples/gringo/gbie/README
|
text/plain | root:root | 0o644 | 370 bytes |
/usr/share/doc/gringo/examples/gringo/gbie/instances/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/gringo/gbie/instances/sat_02.lp.gz
|
application/gzip | root:root | 0o644 | 274.4 KB |
/usr/share/doc/gringo/examples/gringo/gbie/instances/sat_01.lp
|
text/plain | root:root | 0o644 | 387 bytes |
/usr/share/doc/gringo/examples/gringo/gbie/instances/unsat_01.lp
|
text/plain | root:root | 0o644 | 495 bytes |
/usr/share/doc/gringo/examples/gringo/gbie/instances/unsat_02.lp.gz
|
application/gzip | root:root | 0o644 | 242.4 KB |
/usr/share/doc/gringo/examples/gringo/gbie/instances/sat_03.lp.gz
|
application/gzip | root:root | 0o644 | 236.7 KB |
/usr/share/doc/gringo/examples/gringo/toh/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/gringo/toh/README
|
text/plain | root:root | 0o644 | 201 bytes |
/usr/share/doc/gringo/examples/gringo/toh/tohE.lp
|
text/x-c | root:root | 0o644 | 504 bytes |
/usr/share/doc/gringo/examples/gringo/toh/tohI.lp
|
text/plain | root:root | 0o644 | 74 bytes |
/usr/share/doc/gringo/examples/gringo/queens/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/gringo/queens/queens2.lp
|
text/plain | root:root | 0o644 | 492 bytes |
/usr/share/doc/gringo/examples/gringo/queens/README
|
text/plain | root:root | 0o644 | 108 bytes |
/usr/share/doc/gringo/examples/gringo/queens/queens1.lp
|
text/plain | root:root | 0o644 | 418 bytes |
/usr/share/doc/gringo/README
|
text/plain | root:root | 0o644 | 1.1 KB |
/usr/share/doc/gringo/copyright
|
text/plain | root:root | 0o644 | 2.4 KB |
/usr/share/doc/gringo/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 963 bytes |