Sign inSign up

stanfordoval/cvc4-http-server

Sponsored OSS

By Stanford University

•Updated almost 7 years ago

Wraps CVC4 in a convenient HTTP API

Image
Integration & delivery
API management
Machine learning & AI
0

8.4K

Tags for stanfordoval/cvc4-http-server

Sort by

TAG

latest

Last pushed almost 7 years by stanfordoval

docker pull stanfordoval/cvc4-http-server:latest
DigestOS/ARCHCompressed size

b443b05fb9a3

linux/amd64

198.3 MB