3 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
libraptorq 0.1.10-1 0 0.00 Forward error correction library implementing RaptorQ algorithm Luker88 2018-03-31 10:20 (UTC)
lparse 1.1.2-2 0 0.00 Lparse is a front-end to smodels that generates a variable-free simple logic Luker88 2018-06-08 16:25 (UTC)
smodels 2.34-1 0 0.00 Implementation of the stable model semantics for logic programs Luker88 2015-11-09 20:11 (UTC)

3 packages found. Page 1 of 1.