3 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
smodels 2.34-1 0 0.00 Implementation of the stable model semantics for logic programs Luker88
lparse 1.1.2-1 0 0.00 Lparse is a front-end to smodels that generates a variable-free simple logic Luker88
libraptorq 0.1.9-1 0 0.00 Forward error correction library implementing RaptorQ algorithm Luker88

3 packages found. Page 1 of 1.