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: 146
(#latest) | Rating
(#votes/
#comments) | Title |
---|---|---|---|---|
scasp | 1.1.430 | 14612 | Goal directed ASP solver |