Package details
Package clasp
Version 3.1.3-r1
Description Answer set solver for (extended) normal logic programs
Project https://potassco.org/
License LGPL3
Branch edge
Repository community
Architecture s390x
Size 488.17 kB
Installed size 1.13 MB
Origin clasp
Maintainer Anil Madhavapeddy
Build time 2017-10-02 16:07:10
Commit 75ebbf6a2bba281cee3be705e6e90a179ababc2f
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (3)
Required by (1)
Sub Packages (0)