Download Latest Version clingo-4.5.4-source.tar.gz (1.7 MB) Get Updates
Home / asprin / 1.0.0
Name Modified Size InfoDownloads / Week
Parent folder
asprin-1.0.0-win64.tar.gz 2015-01-31 626.4 kB
0
asprin-1.0.0-x86_64-linux.tar.gz 2015-01-31 2.0 MB
0
asprin-1.0.0-source.tar.gz 2015-01-31 3.3 MB
0
asprin-1.0.0-macos-10.9.tar.gz 2015-01-31 1.2 MB
0
Totals: 4 Items   7.2 MB 0 
===================================
ASPRIN: ASP for Preference Handling
===================================

Asprin is a general framework for qualitative and quantitative optimization in answer set programming.

To learn how to use asprin, please have a look at Section 10.2 of the Potassco User Guide:
  http://sourceforge.net/projects/potassco/files/guide/2.0/
Source: README, updated 2015-05-08