add an option to preserve atoms of facts in the symbol table - Githubissues

potassco / clingo

🤔 A grounder and solver for logic programs.

https://potassco.org/clingo

MIT License

599 stars 79 forks source link

add an option to preserve atoms of facts in the symbol table #446

Closed rkaminsk closed 10 months ago