Z3 - An SMT solver
Z3 is a theorem prover from Microsoft Research.
However, Potassco seems more to the point.
Introduction
An Answer Set Program can be solved translating it into a SAP problem.
References
- Programming Z3: https://theory.stanford.edu/~nikolaj/programmingz3.html.
- Julia Package: https://www.juliapackages.com/p/z3.
- Repository: https://github.com/Z3Prover.
