search

potassco / clingo

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

try to fix clingo_build_ast on arm64 #513

Closed rkaminsk closed 1 month ago