horn-concurrency version 2.1.1

• Clauses were not printed with -logSimplified and -logSimplifiedSMT options, this is now fixed.
• Add option to dump simplified clauses after Eldarica's default preprocessing.

Full Changelog: v2.1...v2.1.1