Document SMT strategies

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

Closed aaronbembenek closed 1 month ago

aaronbembenek commented 1 month ago

Add documentation to the README on how to set the SMT solver mode and what each mode is.

Resolves #7