Closed eriq-augustine closed 5 years ago
Complete in 62fbd2cc20c8360c365a02be2cdc4f871a4f5798.
I am reopening this!
We output the ground rules before inference. However, it may be nice to also output the satisfaction for every ground rule.
The semantics of this may be tricky, so we should probably just keep is simple and have separate options for outputting the ground rules before and after optimization.
Lets use --satisfaction
for the ground rules after inference.
Complete in b901e937ed2869b5dcc184585ea29c5fa77b1170.
We need a config option that will allow users to dump all the ground rules to a file.
In the future we could have some sort of filter to select only the ground rules that are of interest to us, but for now just dump everything.