Did you know ... | Search Documentation: |
![]() | Profile for user Hans Nowak |
"In the current system, test units are compiled into sub-modules of the module i ... |
Pack
tot: 1
| Version
(#older)
| Downloads
tot: 62
(#latest) | Rating
(#votes/
#comments) | Title |
---|---|---|---|---|
scasp | 0.10.017 | 622 | Goal directed ASP solver |