Sign inSign up

fdiskyou/z3

By fdiskyou

•Updated over 8 years ago

The Z3 Theorem Prover

Image
0

170

fdiskyou/z3 repository overview

Z3 is a theorem prover from Microsoft Research. https://github.com/Z3Prover/z3/⁠

Tag summary

Content type

Image

Digest

Size

432.9 MB

Last updated

over 8 years ago

docker pull fdiskyou/z3:0.1