Package details
Package clasp
Version 3.1.3-r1
Description Answer set solver for (extended) normal logic programs
Project https://potassco.org/
License LGPL-3.0
Branch v3.11
Repository community
Architecture x86_64
Size 515.92 kB
Installed size 1.09 MB
Origin clasp
Maintainer Anil Madhavapeddy
Build time 2017-12-30 20:05:50
Commit 63f5e7d295659a855709901ce22a3e5f40fce455
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (3)
Required by (1)
Sub Packages (0)