diff --git a/CHANGELOG.md b/CHANGELOG.md new file mode 100644 index 0000000..88edb24 --- /dev/null +++ b/CHANGELOG.md @@ -0,0 +1,9 @@ +# Change Log + +## (unreleased) + +Features: + +* initial support for translating rules in *Essential Gringo* (excluding aggregates) to first-order logic formulas +* command-line option `--color` to autodetect, enable, or disable color output +* command-line option `--log-level` to control which status messages should be shown