Package details
Package clasp
Version 3.3.5-r0
Description Answer set solver for (extended) normal logic programs
Project https://potassco.org/
License MIT
Branch edge
Repository community
Architecture x86_64
Size 638.54 kB
Installed size 1.55 MB
Origin clasp
Maintainer Anil Madhavapeddy
Build time 2020-02-25 23:11:57
Commit da170b26cefa49576797fe5e4686eca2c6655cfb
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (3)
Required by (0)
Sub Packages (0)