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 v3.7
Repository community
Architecture x86
Size 549.93 kB
Installed size 1.14 MB
Origin clasp
Maintainer Anil Madhavapeddy
Build time 2017-10-31 04:34:40
Commit 75ebbf6a2bba281cee3be705e6e90a179ababc2f
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (3)
Required by (1)
Sub Packages (0)