# 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

1. [Programming Z3](https://theory.stanford.edu/~nikolaj/programmingz3.html): <https://theory.stanford.edu/~nikolaj/programmingz3.html>.
2. [Julia Package](https://www.juliapackages.com/p/z3): <https://www.juliapackages.com/p/z3>.
3. [Repository](https://github.com/Z3Prover): <https://github.com/Z3Prover>.