Did you know ... | Search Documentation: |
![]() | Profile for user Tomáš Maleček |
needs-updating | Sec. A.27 |
Sec. A.27 | _The library library(nb_set) defines non-backtrackable sets, implemented as bina ... |
Pack
tot: 1
| Version
(#older)
| Downloads
tot: 86
(#latest) | Rating
(#votes/
#comments) | Title |
---|---|---|---|---|
scasp | 0.10.023 | 867 | Goal directed ASP solver |