python-asprin
Optimization in Answer Set Programming
asprin is a general framework for optimization in ASP, that allows for computing optimal stable models of logic programs by means of preferences. Some preference types are already predefined, but more can be added as logic programs.
- Versions: 3.1.1-1.bc5a0cf
- Website: https://potassco.org/
- Licenses: Expat
- Package source: gnu/packages/potassco.scm
- Builds: See build status
- Issues: See known issues
Installation
Install the latest version of python-asprin as follows:
guix install python-asprin
Or install a particular version:
guix install python-asprin@3.1.1-1.bc5a0cf
You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the guix shell documentation for more information.
Badge code
You can use the following badge to inform users of python-asprin about the latest version available in Guix.
Example HTML:
<a href='https://packages.guix.gnu.org/packages/python-asprin'><img src='https://packages.guix.gnu.org/packages/python-asprin/badges/latest-version.svg' alt='Version in GNU Guix'></a>
Example Markdown:
[](https://packages.guix.gnu.org/packages/python-asprin)
Example Org:
[[https://packages.guix.gnu.org/packages/python-asprin][https://packages.guix.gnu.org/packages/python-asprin/badges/latest-version.svg]]