aaronbembenek/formulog

•Updated almost 2 years ago

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

Image

256

aaronbembenek/formulog repository overview

No overview available

This repository doesn't have an overview

Recent tags

Content type

Image

Digest

sha256:ca6f3c3af…

Size

715.2 MB

Last updated

almost 2 years ago

docker pull aaronbembenek/formulog:0.8.0