808facfe
 Francisco Coelho
Main text adapted...
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
# 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>.
|