search

potassco / clingo

🤔 A grounder and solver for logic programs.
https://potassco.org/clingo
MIT License
589 stars 79 forks source link

fix install targets when linking statically #456

Closed rkaminsk closed 9 months ago

rkaminsk commented 9 months ago

see #451