Doc index - gringo Packages contains this documentation Package: gringo apt-get install gringo Manuals in package: oclingo(1) lpconvert(1) reify(1) iclingo(1) gringo(1) clingo(1) Documentations in package: gringo Documentation root: https://dweb.link/ipfs/bafybeigzn536eucf6glyhliijyqqcft4wbcb35lupks3a3i3zbht7fs6yy