Did you know ... | Search Documentation: |
![]() | Profile for user Anton Danilov |
numbervars/4 | It should be *treat* instead of *thread* in attvar description. |
Pack
tot: 1
| Version
(#older)
| Downloads
tot: 162
(#latest) | Rating
(#votes/
#comments) | Title |
---|---|---|---|---|
scasp | 1.1.431 | 16215 | Goal directed ASP solver |