Case studies illustrating the use of the Unsat Core of a first order encoding of aviation instruments.
Be sure to download the Z3 SMT solver from here: https://github.com/Z3Prover/z3
sethahrenbach/UnsatCore
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|