This package is 2.2 MB.
It is available at http://ftp.debian.org/debian/pool/main/g/gringo/gringo_5.1.0-4_amd64.deb
.
View its full control file here:
debian/control.
grounding tools for (disjunctive) logic programs
This package depends on:
libc6 (>= 2.14), libgcc1 (>= 1:3.0), liblua5.3-0, libpython2.7 (>= 2.7), libstdc++6 (>= 6).
This package recommends:
clasp.
This package does not suggest any other package.
gringo 5.1.0-4 is in debian - stretch / main. This package's architecture is: amd64.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
/usr/
|
root:root | 0o755 | ||
/usr/bin/
|
root:root | 0o755 | ||
/usr/bin/clingo
|
application/x-sharedlib | root:root | 0o755 | 4.1 MB |
/usr/bin/gringo
|
application/x-sharedlib | root:root | 0o755 | 2.9 MB |
/usr/bin/iclingo
|
root:root | 0o777 | ||
/usr/bin/lpconvert
|
application/x-sharedlib | root:root | 0o755 | 186.2 KB |
/usr/bin/oclingo
|
root:root | 0o777 | ||
/usr/bin/reify
|
application/x-sharedlib | root:root | 0o755 | 178.2 KB |
/usr/share/
|
root:root | 0o755 | ||
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 3.6 KB |
/usr/share/doc/gringo/changelog.gz
|
application/gzip | root:root | 0o644 | 2.2 KB |
/usr/share/doc/gringo/copyright
|
text/plain | root:root | 0o644 | 6.3 KB |
/usr/share/doc/gringo/examples/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/c/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/c/ast.c.gz
|
application/gzip | root:root | 0o644 | 1.7 KB |
/usr/share/doc/gringo/examples/c/backend.c.gz
|
application/gzip | root:root | 0o644 | 1.3 KB |
/usr/share/doc/gringo/examples/c/configuration.c
|
text/x-c | root:root | 0o644 | 3.6 KB |
/usr/share/doc/gringo/examples/c/control.c
|
text/x-c | root:root | 0o644 | 2.5 KB |
/usr/share/doc/gringo/examples/clingo/
|
root:root | 0o755 | ||
/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 | 417 bytes |
/usr/share/doc/gringo/examples/clingo/addclause/addclause-py.lp
|
text/x-python | root:root | 0o644 | 423 bytes |
/usr/share/doc/gringo/examples/clingo/addclause/README
|
text/plain | root:root | 0o644 | 144 bytes |
/usr/share/doc/gringo/examples/clingo/blocksworld/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/blocksworld/blocks_01.lp
|
text/plain | root:root | 0o644 | 315 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/control_01.out.gz
|
application/gzip | root:root | 0o644 | 1.2 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/blocksworld/lua.lp
|
text/plain | root:root | 0o644 | 2.8 KB |
/usr/share/doc/gringo/examples/clingo/blocksworld/README
|
text/plain | root:root | 0o644 | 526 bytes |
/usr/share/doc/gringo/examples/clingo/blocksworld/world.lp.gz
|
application/gzip | root:root | 0o644 | 1.3 KB |
/usr/share/doc/gringo/examples/clingo/commit/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/commit/commit-lua.lp
|
text/x-c | root:root | 0o644 | 311 bytes |
/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/encoding.lp
|
text/plain | root:root | 0o644 | 63 bytes |
/usr/share/doc/gringo/examples/clingo/commit/README
|
text/plain | root:root | 0o644 | 225 bytes |
/usr/share/doc/gringo/examples/clingo/consequences/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/consequences/brave-lua.lp
|
text/x-c | root:root | 0o644 | 812 bytes |
/usr/share/doc/gringo/examples/clingo/consequences/brave-py.lp
|
text/x-python | root:root | 0o644 | 475 bytes |
/usr/share/doc/gringo/examples/clingo/consequences/example.lp
|
text/plain | root:root | 0o644 | 156 bytes |
/usr/share/doc/gringo/examples/clingo/consequences/README
|
text/plain | root:root | 0o644 | 184 bytes |
/usr/share/doc/gringo/examples/clingo/context/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/context/context-lua.lp
|
text/x-c | root:root | 0o644 | 461 bytes |
/usr/share/doc/gringo/examples/clingo/context/context-py.lp
|
text/x-c++ | root:root | 0o644 | 376 bytes |
/usr/share/doc/gringo/examples/clingo/context/encoding.lp
|
text/plain | root:root | 0o644 | 14 bytes |
/usr/share/doc/gringo/examples/clingo/context/README
|
text/plain | root:root | 0o644 | 220 bytes |
/usr/share/doc/gringo/examples/clingo/controller-async/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/controller-async/client.lp
|
text/plain | root:root | 0o644 | 283 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/README
|
text/plain | root:root | 0o644 | 270 bytes |
/usr/share/doc/gringo/examples/clingo/controller-processes/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/controller-processes/client.lp
|
text/plain | root:root | 0o644 | 283 bytes |
/usr/share/doc/gringo/examples/clingo/controller-processes/client.py
|
text/x-c++ | root:root | 0o644 | 2.4 KB |
/usr/share/doc/gringo/examples/clingo/controller-processes/README
|
text/plain | root:root | 0o644 | 328 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-threads/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/controller-threads/client.lp
|
text/plain | root:root | 0o644 | 283 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/README
|
text/plain | root:root | 0o644 | 297 bytes |
/usr/share/doc/gringo/examples/clingo/cover/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/cover/control-lua.lp
|
text/x-c | root:root | 0o644 | 1.8 KB |
/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/cover/cover.lp
|
text/plain | root:root | 0o644 | 200 bytes |
/usr/share/doc/gringo/examples/clingo/cover/instance.lp
|
text/plain | root:root | 0o644 | 146 bytes |
/usr/share/doc/gringo/examples/clingo/cover/preprocess.lp
|
text/plain | root:root | 0o644 | 307 bytes |
/usr/share/doc/gringo/examples/clingo/cover/README
|
text/plain | root:root | 0o644 | 197 bytes |
/usr/share/doc/gringo/examples/clingo/domains/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/domains/domains-lua.lp
|
text/x-c | root:root | 0o644 | 807 bytes |
/usr/share/doc/gringo/examples/clingo/domains/domains-py.lp
|
text/x-python | root:root | 0o644 | 694 bytes |
/usr/share/doc/gringo/examples/clingo/domains/instance.lp
|
text/plain | root:root | 0o644 | 51 bytes |
/usr/share/doc/gringo/examples/clingo/domains/README
|
text/plain | root:root | 0o644 | 243 bytes |
/usr/share/doc/gringo/examples/clingo/dot-propagator/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/dot-propagator/dot.lp
|
text/x-c++ | root:root | 0o644 | 711 bytes |
/usr/share/doc/gringo/examples/clingo/dot-propagator/README
|
text/plain | root:root | 0o644 | 257 bytes |
/usr/share/doc/gringo/examples/clingo/dot-propagator/test.lp
|
text/plain | root:root | 0o644 | 88 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 | 544 bytes |
/usr/share/doc/gringo/examples/clingo/enum-assumption/example-py.lp
|
text/x-python | root:root | 0o644 | 534 bytes |
/usr/share/doc/gringo/examples/clingo/enum-assumption/README
|
text/plain | root:root | 0o644 | 316 bytes |
/usr/share/doc/gringo/examples/clingo/expansion/
|
root:root | 0o755 | ||
/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 | 613 bytes |
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/
|
root:root | 0o755 | ||
/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/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/0008-graph_colouring-125-0.lp.gz
|
application/gzip | root:root | 0o644 | 3.3 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/0021-graph_colouring-135-0.lp.gz
|
application/gzip | root:root | 0o644 | 3.8 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/0023-graph_colouring-135-0.lp.gz
|
application/gzip | root:root | 0o644 | 3.6 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/0032-graph_colouring-140-0.lp.gz
|
application/gzip | root:root | 0o644 | 4.2 KB |
/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/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/0046-graph_colouring-145-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/0048-graph_colouring-145-0.lp.gz
|
application/gzip | root:root | 0o644 | 4.3 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/0056-graph_colouring-150-0.lp.gz
|
application/gzip | root:root | 0o644 | 4.3 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/0060-graph_colouring-150-0.lp.gz
|
application/gzip | root:root | 0o644 | 4.7 KB |
/usr/share/doc/gringo/examples/clingo/expansion/main.py
|
text/x-python | root:root | 0o755 | 3.5 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/100-partner_units-100-0.lp.gz
|
application/gzip | root:root | 0o644 | 2.5 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/114-partner_units_polynomial-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/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/153-partner_units-100-0.lp.gz
|
application/gzip | root:root | 0o644 | 2.6 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/156-partner_units-100-0.lp.gz
|
application/gzip | root:root | 0o644 | 2.5 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/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/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/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/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/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/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/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/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/91-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/README
|
text/plain | root:root | 0o644 | 1.6 KB |
/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-lua.lp
|
text/x-c | root:root | 0o644 | 332 bytes |
/usr/share/doc/gringo/examples/clingo/external/external-py.lp
|
text/x-python | root:root | 0o644 | 341 bytes |
/usr/share/doc/gringo/examples/clingo/external/README
|
text/plain | root:root | 0o644 | 123 bytes |
/usr/share/doc/gringo/examples/clingo/iclingo/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/iclingo/example.lp
|
text/plain | root:root | 0o644 | 178 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/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 | 428 bytes |
/usr/share/doc/gringo/examples/clingo/include/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/include/encoding-lua.lp
|
text/x-c | root:root | 0o644 | 151 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/include.lp
|
text/plain | root:root | 0o644 | 6 bytes |
/usr/share/doc/gringo/examples/clingo/include/README
|
text/plain | root:root | 0o644 | 127 bytes |
/usr/share/doc/gringo/examples/clingo/incqueens/
|
root:root | 0o755 | ||
/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 | 514 bytes |
/usr/share/doc/gringo/examples/clingo/incqueens/incqueens-py.lp
|
text/x-python | root:root | 0o644 | 437 bytes |
/usr/share/doc/gringo/examples/clingo/incqueens/README
|
text/plain | root:root | 0o644 | 304 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 | 328 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/itersolve/program.lp
|
text/plain | root:root | 0o644 | 9 bytes |
/usr/share/doc/gringo/examples/clingo/itersolve/README
|
text/plain | root:root | 0o644 | 147 bytes |
/usr/share/doc/gringo/examples/clingo/load/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/load/load-lua.lp
|
text/x-c | root:root | 0o644 | 445 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/program.lp
|
text/plain | root:root | 0o644 | 33 bytes |
/usr/share/doc/gringo/examples/clingo/load/README
|
text/plain | root:root | 0o644 | 162 bytes |
/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/onmodel-py.lp
|
text/x-python | root:root | 0o644 | 937 bytes |
/usr/share/doc/gringo/examples/clingo/onmodel/README
|
text/plain | root:root | 0o644 | 401 bytes |
/usr/share/doc/gringo/examples/clingo/planning/
|
root:root | 0o755 | ||
/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 | 88 bytes |
/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/coins01.lp.gz
|
application/gzip | root:root | 0o644 | 726 bytes |
/usr/share/doc/gringo/examples/clingo/planning/instances/comm02.lp.gz
|
application/gzip | root:root | 0o644 | 869 bytes |
/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/uts01.lp
|
text/plain | root:root | 0o644 | 1.6 KB |
/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/README
|
text/plain | root:root | 0o644 | 240 bytes |
/usr/share/doc/gringo/examples/clingo/pydoc/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/pydoc/pydoc-lib.py
|
text/x-python | root:root | 0o755 | 473 bytes |
/usr/share/doc/gringo/examples/clingo/pydoc/pydoc.lp
|
text/plain | root:root | 0o644 | 499 bytes |
/usr/share/doc/gringo/examples/clingo/pydoc/README
|
text/plain | root:root | 0o644 | 117 bytes |
/usr/share/doc/gringo/examples/clingo/robots/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/robots/board.lp
|
text/plain | root:root | 0o644 | 1.9 KB |
/usr/share/doc/gringo/examples/clingo/robots/img/
|
root:root | 0o755 | ||
/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/arrow_blue_north.gif
|
image/gif | root:root | 0o644 | 643 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/arrow_green_east.gif
|
image/gif | root:root | 0o644 | 697 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/arrow_green_south.gif
|
image/gif | root:root | 0o644 | 714 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/arrow_red_east.gif
|
image/gif | root:root | 0o644 | 680 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/arrow_red_south.gif
|
image/gif | root:root | 0o644 | 657 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/arrow_yellow_east.gif
|
image/gif | root:root | 0o644 | 680 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/arrow_yellow_south.gif
|
image/gif | root:root | 0o644 | 658 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/moon_blue.gif
|
image/gif | root:root | 0o644 | 1.1 KB |
/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/moon_red.gif
|
image/gif | root:root | 0o644 | 1.1 KB |
/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/move_blue_east.gif
|
image/gif | root:root | 0o644 | 637 bytes |
/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/move_blue_south.gif
|
image/gif | root:root | 0o644 | 627 bytes |
/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/move_green_east.gif
|
image/gif | root:root | 0o644 | 624 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_green_south.gif
|
image/gif | root:root | 0o644 | 657 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/move_red_east.gif
|
image/gif | root:root | 0o644 | 616 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/move_red_south.gif
|
image/gif | root:root | 0o644 | 627 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/move_yellow_east.gif
|
image/gif | root:root | 0o644 | 631 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/move_yellow_south.gif
|
image/gif | root:root | 0o644 | 627 bytes |
/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/random_robot.gif
|
image/gif | root:root | 0o644 | 1.4 KB |
/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/robot_green.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/robot_yellow.gif
|
image/gif | root:root | 0o644 | 685 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/saturn_green.gif
|
image/gif | root:root | 0o644 | 825 bytes |
/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/saturn_yellow.gif
|
image/gif | root:root | 0o644 | 763 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/star_green.gif
|
image/gif | root:root | 0o644 | 757 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/star_yellow.gif
|
image/gif | root:root | 0o644 | 723 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/sun_green.gif
|
image/gif | root:root | 0o644 | 1.1 KB |
/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/sun_yellow.gif
|
image/gif | root:root | 0o644 | 1.1 KB |
/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/tile_right.gif
|
image/gif | root:root | 0o644 | 1.7 KB |
/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/wall_west.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/robots/robots.lp
|
text/plain | root:root | 0o644 | 946 bytes |
/usr/share/doc/gringo/examples/clingo/robots/visualize.py.gz
|
application/gzip | root:root | 0o644 | 3.9 KB |
/usr/share/doc/gringo/examples/clingo/setconf/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/setconf/README
|
text/plain | root:root | 0o644 | 137 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/setconf-py.lp
|
text/x-python | root:root | 0o644 | 1.5 KB |
/usr/share/doc/gringo/examples/clingo/solitaire/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/solitaire/instance.lp
|
text/plain | root:root | 0o644 | 550 bytes |
/usr/share/doc/gringo/examples/clingo/solitaire/README
|
text/plain | root:root | 0o644 | 1.2 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/visualize.py.gz
|
application/gzip | root:root | 0o644 | 1.5 KB |
/usr/share/doc/gringo/examples/clingo/solve-async/
|
root:root | 0o755 | ||
/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/README
|
text/plain | root:root | 0o644 | 222 bytes |
/usr/share/doc/gringo/examples/clingo/solve-async/solve-async-py.lp
|
text/x-python | root:root | 0o644 | 455 bytes |
/usr/share/doc/gringo/examples/clingo/stats/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/stats/example.lp
|
text/plain | root:root | 0o644 | 54 bytes |
/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 | 412 bytes |
/usr/share/doc/gringo/examples/clingo/stats/stats-py.lp
|
text/x-python | root:root | 0o644 | 315 bytes |
/usr/share/doc/gringo/examples/clingo/unblock/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/clingo/unblock/inst1.lp
|
text/plain | root:root | 0o644 | 244 bytes |
/usr/share/doc/gringo/examples/clingo/unblock/inst2.lp
|
text/plain | root:root | 0o644 | 301 bytes |
/usr/share/doc/gringo/examples/clingo/unblock/inst3.lp
|
text/plain | root:root | 0o644 | 178 bytes |
/usr/share/doc/gringo/examples/clingo/unblock/inst4.lp
|
text/plain | root:root | 0o644 | 195 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 | 342 bytes |
/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/visualize.py.gz
|
application/gzip | root:root | 0o644 | 1.7 KB |
/usr/share/doc/gringo/examples/c/model.c.gz
|
application/gzip | root:root | 0o644 | 1.4 KB |
/usr/share/doc/gringo/examples/c/propagator.c.gz
|
application/gzip | root:root | 0o644 | 3.2 KB |
/usr/share/doc/gringo/examples/c/solve-async.c
|
text/x-c | root:root | 0o644 | 3.5 KB |
/usr/share/doc/gringo/examples/c/solve-iteratively.c
|
text/x-c | root:root | 0o644 | 2.8 KB |
/usr/share/doc/gringo/examples/c/statistics.c.gz
|
application/gzip | root:root | 0o644 | 1.6 KB |
/usr/share/doc/gringo/examples/c/symbol.c
|
text/x-c | root:root | 0o644 | 2.7 KB |
/usr/share/doc/gringo/examples/c/symbolic-atoms.c
|
text/x-c | root:root | 0o644 | 3.1 KB |
/usr/share/doc/gringo/examples/c/theory-atoms.c.gz
|
application/gzip | root:root | 0o644 | 1.4 KB |
/usr/share/doc/gringo/examples/c/version.c
|
text/x-c | root:root | 0o644 | 245 bytes |
/usr/share/doc/gringo/examples/gringo/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/gringo/acyc/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/gringo/acyc/encoding.lp
|
text/plain | root:root | 0o644 | 177 bytes |
/usr/share/doc/gringo/examples/gringo/acyc/instance.lp
|
text/plain | root:root | 0o644 | 53 bytes |
/usr/share/doc/gringo/examples/gringo/acyc/README
|
text/plain | root:root | 0o644 | 92 bytes |
/usr/share/doc/gringo/examples/gringo/ast/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/gringo/ast/example.lp
|
text/plain | root:root | 0o644 | 81 bytes |
/usr/share/doc/gringo/examples/gringo/ast/README
|
text/plain | root:root | 0o644 | 186 bytes |
/usr/share/doc/gringo/examples/gringo/ast/visitor.lp
|
text/x-c++ | root:root | 0o644 | 2.2 KB |
/usr/share/doc/gringo/examples/gringo/gbie/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/gringo/gbie/gbie1.lp
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/doc/gringo/examples/gringo/gbie/gbie2.lp
|
text/plain | root:root | 0o644 | 933 bytes |
/usr/share/doc/gringo/examples/gringo/gbie/instances/
|
root:root | 0o755 | ||
/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/sat_02.lp.gz
|
application/gzip | root:root | 0o644 | 274.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/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/README
|
text/plain | root:root | 0o644 | 370 bytes |
/usr/share/doc/gringo/examples/gringo/project/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/gringo/project/example.lp
|
text/plain | root:root | 0o644 | 51 bytes |
/usr/share/doc/gringo/examples/gringo/project/README
|
text/plain | root:root | 0o644 | 94 bytes |
/usr/share/doc/gringo/examples/gringo/queens/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/gringo/queens/queens1.lp
|
text/plain | root:root | 0o644 | 418 bytes |
/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/rec-cond/
|
root:root | 0o755 | ||
/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/rec-cond/README
|
text/plain | root:root | 0o644 | 112 bytes |
/usr/share/doc/gringo/examples/gringo/subset/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/gringo/subset/example.lp
|
text/plain | root:root | 0o644 | 104 bytes |
/usr/share/doc/gringo/examples/gringo/subset/README
|
text/plain | root:root | 0o644 | 178 bytes |
/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/reify/
|
root:root | 0o755 | ||
/usr/share/doc/gringo/examples/reify/example1.lp
|
text/plain | root:root | 0o644 | 138 bytes |
/usr/share/doc/gringo/examples/reify/example2.lp.gz
|
application/gzip | root:root | 0o644 | 1.4 KB |
/usr/share/doc/gringo/examples/reify/metaD.lp
|
text/plain | root:root | 0o644 | 4.0 KB |
/usr/share/doc/gringo/examples/reify/meta.lp
|
text/plain | root:root | 0o644 | 2.1 KB |
/usr/share/doc/gringo/examples/reify/metaO.lp
|
text/plain | root:root | 0o644 | 3.9 KB |
/usr/share/doc/gringo/examples/reify/README
|
text/plain | root:root | 0o644 | 857 bytes |
/usr/share/doc/gringo/examples/test.sh.gz
|
application/gzip | root:root | 0o644 | 1.2 KB |
/usr/share/doc/gringo/README.md
|
text/plain | root:root | 0o644 | 1.2 KB |
/usr/share/man/
|
root:root | 0o755 | ||
/usr/share/man/man1/
|
root:root | 0o755 | ||
/usr/share/man/man1/clingo.1.gz
|
application/gzip | root:root | 0o644 | 1.0 KB |
/usr/share/man/man1/gringo.1.gz
|
application/gzip | root:root | 0o644 | 1.1 KB |
/usr/share/man/man1/iclingo.1.gz
|
root:root | 0o777 | ||
/usr/share/man/man1/lpconvert.1.gz
|
application/gzip | root:root | 0o644 | 953 bytes |
/usr/share/man/man1/oclingo.1.gz
|
root:root | 0o777 | ||
/usr/share/man/man1/reify.1.gz
|
application/gzip | root:root | 0o644 | 997 bytes |