Sign inSign up

deibpolimi/zot

By deibpolimi

•Updated almost 8 years ago

The Zot Bounded Model/Satisfiability Checker

Image
0

387

Tags for deibpolimi/zot

Sort by

TAG

latest

Last pushed almost 8 years by deibpolimi

docker pull deibpolimi/zot:latest
DigestOS/ARCHCompressed size

c431e0b3f0fb

linux/amd64

104.75 MB