» Main »
aspcud - a solver for CUDF instances based on ASP tools
Published by apps.0install.net
- 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
- 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
- Available versions
The list below is just for information; Zero Install will automatically select one of these versions for you.
Version Released Stability Platform Download 1.9.0 2014-08-27 Darwin-* Download (2351404 bytes) 1.9.0 2014-08-27 Linux-i686 Download (3097241 bytes) 1.9.0 2014-08-27 Linux-x86_64 Download (3754443 bytes) Non-Zero Install packages provided distributions can also provide this interface:
Distribution Package name RPM Debian Arch aspcud - Required libraries
This feed does not list any additional requirements.