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

Update formatting #84

Closed aaronbembenek closed 2 months ago

aaronbembenek commented 2 months ago

Trying to automatically format PRs during CI is clunky. Now, PRs need to be formatted by contributors before being merged. However, doing so is easy (just a quick Maven command).