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

Read in options from configuration files #20

Open aaronbembenek opened 1 year ago

aaronbembenek commented 1 year ago

As a convenience, allows users to specify options in a configuration file, instead of requiring them to list the options on the command line.