Did you know ... Search Documentation:
Profile for user Tomáš Maleček

Tags by Tomáš Maleček

needs-updatingSec. A.27

Comments by Tomáš Maleček

Sec. A.27_The library library(nb_set) defines non-backtrackable sets, implemented as bina ...

Packages by Tomáš Maleček

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