Debian logoDebian Screenshots >

gringo

grounding tools for (disjunctive) logic programs

Description

Current answer set solvers work on variable-free programs. Hence, a grounder is needed that, given an input program with first-order variables, computes an equivalent ground (variable-free) program.

This package contains the following tools:

 - gringo: creates lparse-compatible variable-free programs.
 - clingo: stands for clasp on gringo and combines both systems in
   a monolithic way. Its input language is that of gringo and its
   output corresponds to that of clasp.
 - reify: small utility that reifies logic program, given in smodels
   format. It produces a set of facts that can be processed further
   with gringo.

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.


Homepage

https://www.potassco.org/clingo/


Statistics

1474 other people were interested in this package here. The newest known version of this software is 5.3.0-10 (Information last updated about 3 hours ago.)