Did you know ... | Search Documentation: |
Profile for user Jean-Marc Lugrin |
Sec. 2.1 | section 2.1.2 Adding rules from the console The input is ended using the system ... |
Pack
tot: 1
| Version
(#older)
| Downloads
tot: 146
(#latest) | Rating
(#votes/
#comments) | Title |
---|---|---|---|---|
scasp | 1.1.430 | 14612 | Goal directed ASP solver |