gpo.zugaina.org

Search Portage & Overlays:

dev-lang/clingo

Integrated grounder and solver for answer set logic programs.

Screenshots

  • clingo-4.5.4
    ~amd64
    python lua threads doc examples python_targets_python2_7

    View      Download      Browse     License: GPL-3   
    Overlay: bgo-overlay (outside)