aaronbembenek/formulog

•Updated almost 2 years ago

Datalog with support for SMT queries and first-order functional programming

Image

256

Tags for aaronbembenek/formulog

Sort by

TAG

0.8.0

Last pushed almost 2 years by aaronbembenek

docker pull aaronbembenek/formulog:0.8.0

Digest	OS/ARCH	Compressed size
3b19bb492f21	linux/amd64	715.2 MB
c492bab47db1	linux/arm64	676.61 MB

TAG

0.7.0

Last pushed over 3 years by aaronbembenek

docker pull aaronbembenek/formulog:0.7.0

Digest	OS/ARCH	Compressed size
bdc9da49e406	linux/amd64	623.69 MB

TAG

0.6.0

Last pushed about 4 years by aaronbembenek

docker pull aaronbembenek/formulog:0.6.0

Digest	OS/ARCH	Compressed size
79810ca5fce9	linux/amd64	243.81 MB