Sign inSign up

evdb/z3-http

By evdb

•Updated over 8 years ago

A small http wrapper for the z3 prover.

Image
0

1.7K

evdb/z3-http repository overview

Dockerfile and readme can be found at: https://github.com/eelkevdbos/z3-http⁠

Tag summary

Content type

Image

Digest

Size

90.3 MB

Last updated

over 8 years ago

docker pull evdb/z3-http