search

HarvardPL / formulog

Datalog with support for SMT queries and first-order functional programming
https://harvardpl.github.io/formulog/
Apache License 2.0
155 stars 10 forks source link

Bump version returned by `-V` flag. #25

Closed aaronbembenek closed 1 year ago

aaronbembenek commented 1 year ago

The flag returns an out-of-date value; updated this from 0.6.0 to 0.7.0.