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

Convert user-relevant system properties to proper flags #19

Open aaronbembenek opened 1 year ago

aaronbembenek commented 1 year ago

Right now, Formulog is parameterized by a mix of system properties (like -DdebugSmt) and proper flags (like --dump-idb). For the sake of consistency and usability, we should convert user-relevant system properties to flags.