clasp: Answer set solver for normal logic programs1

Answer set solver for (extended) normal logic programs.

... part of T2, get it here


Author: Clasp Authors
Maintainer: T2 Project <t2 [at] t2-project [dot] org>

License: MIT
Status: Stable
Version: 3.3.10

Remark: Does cross compile (as setup and patched in T2).

Download: clasp-3.3.10-source.tar.gz

T2 source: clasp.cache
T2 source: clasp.desc

Build time (on reference hardware): 5% (relative to binutils)2

Installed size (on reference hardware): 1.20 MB, 7 files

Dependencies (build time detected): 00-dirtree binutils cmake coreutils diffutils findutils gawk grep linux-header make sed tar

Installed files (on reference hardware): n.a.

1) This page was automatically generated from the T2 package source. Corrections, such as dead links, URL changes or typos need to be performed directly on that source.

2) Compatible with Linux From Scratch's "Standard Build Unit" (SBU).