gringo 4.2.1-4 in ubuntu - trusty / universe

About

This package is 905.1 KB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/g/gringo/gringo_4.2.1-4_amd64.deb .

View its full control file here: debian/control.

Description

grounding tools for (disjunctive) logic programs

Relations

Package Contents

File	Mime Type	Owner	Mode	Size
/usr/		root:root	0o755
/usr/bin/		root:root	0o755
/usr/bin/clingo	application/x-sharedlib	root:root	0o755	2.5 MB
/usr/bin/gringo	application/x-sharedlib	root:root	0o755	1.5 MB
/usr/bin/iclingo		root:root	0o777
/usr/bin/oclingo		root:root	0o777
/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	1.3 KB
/usr/share/doc/gringo/copyright	text/plain	root:root	0o644	8.8 KB
/usr/share/doc/gringo/examples/		root:root	0o755
/usr/share/doc/gringo/examples/controller/		root:root	0o755
/usr/share/doc/gringo/examples/controller/client.lp	text/plain	root:root	0o644	280 bytes
/usr/share/doc/gringo/examples/controller/client-lua.lp	text/x-c	root:root	0o644	2.3 KB
/usr/share/doc/gringo/examples/controller/client-py.lp	text/x-c++	root:root	0o644	2.3 KB
/usr/share/doc/gringo/examples/controller/README	text/plain	root:root	0o644	342 bytes
/usr/share/doc/gringo/examples/controller/server.py	text/x-python	root:root	0o644	3.2 KB
/usr/share/doc/gringo/examples/gbie/		root:root	0o755
/usr/share/doc/gringo/examples/gbie/gbie1.lp	text/plain	root:root	0o644	1.6 KB
/usr/share/doc/gringo/examples/gbie/gbie2.lp	text/plain	root:root	0o644	933 bytes
/usr/share/doc/gringo/examples/gbie/instances/		root:root	0o755
/usr/share/doc/gringo/examples/gbie/instances/sat_01.lp	text/plain	root:root	0o644	420 bytes
/usr/share/doc/gringo/examples/gbie/instances/unsat_01.lp	text/plain	root:root	0o644	537 bytes
/usr/share/doc/gringo/examples/gbie/README	text/plain	root:root	0o644	370 bytes
/usr/share/doc/gringo/examples/iclingo/		root:root	0o755
/usr/share/doc/gringo/examples/iclingo/example.lp	text/plain	root:root	0o644	226 bytes
/usr/share/doc/gringo/examples/iclingo/iclingo-int.lp	text/x-c	root:root	0o644	20 bytes
/usr/share/doc/gringo/examples/iclingo/iclingo-lua.lp	text/x-c	root:root	0o644	1.4 KB
/usr/share/doc/gringo/examples/iclingo/iclingo-py.lp	text/x-python	root:root	0o644	908 bytes
/usr/share/doc/gringo/examples/iclingo/README	text/plain	root:root	0o644	432 bytes
/usr/share/doc/gringo/examples/include/		root:root	0o755
/usr/share/doc/gringo/examples/include/encoding.lp	text/x-c	root:root	0o644	160 bytes
/usr/share/doc/gringo/examples/include/include.lp	text/plain	root:root	0o644	6 bytes
/usr/share/doc/gringo/examples/include/README	text/plain	root:root	0o644	97 bytes
/usr/share/doc/gringo/examples/misc/		root:root	0o755
/usr/share/doc/gringo/examples/misc/ipython.py	text/x-python	root:root	0o644	78 bytes
/usr/share/doc/gringo/examples/misc/pydoc.lp	text/plain	root:root	0o644	222 bytes
/usr/share/doc/gringo/examples/misc/README	text/plain	root:root	0o644	793 bytes
/usr/share/doc/gringo/examples/misc/setconf.lp	text/x-python	root:root	0o644	681 bytes
/usr/share/doc/gringo/examples/planning/		root:root	0o755
/usr/share/doc/gringo/examples/planning/encoding.lp.gz	application/gzip	root:root	0o644	1.1 KB
/usr/share/doc/gringo/examples/planning/instances/		root:root	0o755
/usr/share/doc/gringo/examples/planning/instances/coins01.lp.gz	application/gzip	root:root	0o644	726 bytes
/usr/share/doc/gringo/examples/planning/instances/comm02.lp.gz	application/gzip	root:root	0o644	869 bytes
/usr/share/doc/gringo/examples/planning/instances/comm03.lp.gz	application/gzip	root:root	0o644	1.1 KB
/usr/share/doc/gringo/examples/planning/instances/comm05.lp.gz	application/gzip	root:root	0o644	1.5 KB
/usr/share/doc/gringo/examples/planning/instances/uts01.lp	text/plain	root:root	0o644	1.6 KB
/usr/share/doc/gringo/examples/planning/README	text/plain	root:root	0o644	226 bytes
/usr/share/doc/gringo/examples/queens/		root:root	0o755
/usr/share/doc/gringo/examples/queens/queens1.lp	text/plain	root:root	0o644	410 bytes
/usr/share/doc/gringo/examples/queens/queens2.lp	text/plain	root:root	0o644	492 bytes
/usr/share/doc/gringo/examples/queens/README	text/plain	root:root	0o644	107 bytes
/usr/share/doc/gringo/examples/rec-cond/		root:root	0o755
/usr/share/doc/gringo/examples/rec-cond/encoding.lp	text/plain	root:root	0o644	2.4 KB
/usr/share/doc/gringo/examples/rec-cond/instance.lp	text/plain	root:root	0o644	2.0 KB
/usr/share/doc/gringo/examples/rec-cond/README	text/plain	root:root	0o644	112 bytes
/usr/share/doc/gringo/examples/stats/		root:root	0o755
/usr/share/doc/gringo/examples/stats/example.lp	text/plain	root:root	0o644	23 bytes
/usr/share/doc/gringo/examples/stats/README	text/plain	root:root	0o644	353 bytes
/usr/share/doc/gringo/examples/stats/stats-lua.lp	text/x-c	root:root	0o644	367 bytes
/usr/share/doc/gringo/examples/stats/stats-py.lp	text/x-python	root:root	0o644	246 bytes
/usr/share/doc/gringo/NOTES.gz	application/gzip	root:root	0o644	1.9 KB
/usr/share/doc/gringo/README	text/plain	root:root	0o644	907 bytes
/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	957 bytes
/usr/share/man/man1/gringo.1.gz	application/gzip	root:root	0o644	990 bytes
/usr/share/man/man1/iclingo.1.gz		root:root	0o777
/usr/share/man/man1/oclingo.1.gz		root:root	0o777