Did you know ... | Search Documentation: |
Profile for user anonymous |
Dec 25 2020:Big Sur XCode 12.3:Install with macports failed. |
Pack
tot: 1
| Version
(#older)
| Downloads
tot: 142
(#latest) | Rating
(#votes/
#comments) | Title |
---|---|---|---|---|
scasp | 1.1.430 | 1428 | Goal directed ASP solver |
Minor problem on mac os x lion: I had to add a -L argument to building.sh to make the installation succeed:
SWISOLIB='-L/Users/lourens/lib/swipl-6.3.15/lib/x86_64-darwin11.4.2 -lswipl'