python-asprin 3.1.1-1.bc5a0cf

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.

Outputs: out
Website: https://potassco.org/
Licenses: Expat
Package source: gnu/packages/potassco.scm
Builds: See build status
Issues: See known issues

Installation

Install python-asprin 3.1.1-1.bc5a0cf as follows:

guix install python-asprin@3.1.1-1.bc5a0cf

Or install the latest version:

guix install python-asprin

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.