Roscidus.com Zero Install Mirror

» Main » aspcud

aspcud - a solver for CUDF instances based on ASP tools

Published by repo.roscidus.com

Overview

This is a Zero Install feed. This software cannot be run as an application directly. It is a library for other programs to use.

For more information about Zero Install, see 0install.net.

Full name

http://repo.roscidus.com/utils/aspcud

Description

aspcud is a solver for CUDF (Common Upgradeability Description Format) instances based on ASP tools developed within the potassco project. It utilizes the preprocessor cudf2lp that rewrites CUDF specifications into ASP facts. These facts together with an ASP program are then passed to grounder gringo and are finally solved by solver clasp.

Homepage

http://www.cs.uni-potsdam.de/wv/aspcud/

Available versions

No versions are available for downlad.

Required libraries

This feed does not list any additional requirements.