Did you know ... Search Documentation:
Profile for user SvS

Comments by SvS

Sec. 2.1I copied listing(likes(sam, _).

Packages by SvS

Pack
tot: 1
Version
(#older)
Downloads
tot: 39
(#latest)
Rating
(#votes/
#comments)
Title
scasp0.9.010399
Goal directed ASP solver
This list contains packages whose author name, e-mail or homepage url matches the profile information.