Package details
Package clasp
Version 3.3.5-r1
Description Answer set solver for (extended) normal logic programs
Project https://potassco.org/
License MIT
Branch v3.15
Repository community
Architecture x86
Size 713.76 kB
Installed size 1.65 MB
Origin clasp
Maintainer None
Build time 2021-01-12 14:05:19
Commit df805d234e2b5db9b4d6c1e6d9f0745ff958e6e0
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (3)
Required by (0)
Sub Packages (0)