Sign inSign up

znittzel/oatdb

By znittzel

•Updated 9 months ago

High-performance PLDAG constraint database. All-in-one image for logic constraint satisfaction.

Image
Databases & storage
0

1.4K

Tags for znittzel/oatdb

Sort by

TAG

v0.3.0

Last pushed 9 months by znittzel

docker pull znittzel/oatdb:v0.3.0
DigestOS/ARCHCompressed size

e805c90078c0

linux/amd64

160.65 MB

TAG

latest

Last pushed 9 months by znittzel

docker pull znittzel/oatdb:latest
DigestOS/ARCHCompressed size

e805c90078c0

linux/amd64

160.65 MB

TAG

v0.2.0

Last pushed 9 months by znittzel

docker pull znittzel/oatdb:v0.2.0
DigestOS/ARCHCompressed size

32b79069bd43

linux/amd64

156.42 MB

ba53a180a948

linux/arm64

154.41 MB