Did you know ... | Search Documentation: |
![]() | Profile for user Tomas Uribe |
On my Mac, which has g++ 15 installed, I had to add `-cc-options,-std=c++14` to ... |
Pack
tot: 1
| Version
(#older)
| Downloads
tot: 169
(#latest) | Rating
(#votes/
#comments) | Title |
---|---|---|---|---|
scasp | 1.1.431 | 16918 | Goal directed ASP solver |