Z3 https://repo.valu3s.eu/tools/external-not-improved-tool/z3 https://repo.valu3s.eu/@@site-logo/logo_valu3s_green_transparent.png Z3 Logo Tool Logo No image Owner External tool owner. The owner must be also one of the partners. Microsoft Research Link to the tool Link to the tool webpage/github (optional) https://github.com/Z3Prover/z3 Contributing partner Tool description Extended description of the external tool Z3 is a theorem prover from Microsoft Research. It is licensed under the MIT license. Contents There are currently no items in this folder.
