Did you know ... Search Documentation:
Profile for user Anton Danilov

Comments by Anton Danilov

numbervars/4It should be *treat* instead of *thread* in attvar description.

Packages by Anton Danilov

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