satex/cadical

•Updated 12 days ago

Image

825

Tags for satex/cadical

Sort by

TAG

2024

Last pushed 12 days by pauleve

docker pull satex/cadical:2024

Digest	OS/ARCH	Compressed size
e5215c3c6735	linux/amd64	28.56 MB

TAG

2019

Last pushed over 6 years by satex

docker pull satex/cadical:2019

Digest	OS/ARCH	Compressed size
5baccdf061ca	linux/amd64	22.23 MB

TAG

2018

Last pushed over 6 years by satex

docker pull satex/cadical:2018

Digest	OS/ARCH	Compressed size
b60519deba0a	linux/amd64	22.12 MB