Release v0.4.1

Pre-release

Pre-release

gcharwat released this 19 Dec 12:47

· 88 commits to master since this release

Fixed unnecessary iteration in unsatisfiability check
Compatibility with htd release 1.0.1 (see https://github.com/mabseher/htd/releases/tag/1.0.1)

Assets 3