Sign inSign up

badouralix/nusmv

By badouralix

•Updated almost 5 years ago

Alpine-based Docker image with NuSMV and zchaff SAT solver

Image
0

1.3K

Tags for badouralix/nusmv

Sort by

TAG

latest

Last pushed almost 5 years by badouralix

docker pull badouralix/nusmv:latest
DigestOS/ARCHCompressed size

96ac90ba3ae6

linux/amd64

9.71 MB