v2.2.4

Fixed dsharp windows binary and added subquery predicate allowing to specify evaluator/semiring.

v2.2.3

Since v2.2.2, mostly bug fixes, of which 1 critical. We also changed the term's hashing method.

What's Changed

• Bugfix library/string.py::str2lst (public issue #84)
• Bugfix return exit code instead of result - only for probability task atm (public issue #82)
• Critical Bugfix in dSharp library (compiled CNF theory with too long clauses could yield wrong result)
• Bugfix in pypl related to lists (private issue-16)
• Improvements to LFI
• Changed Term's hashing method

Full Changelog: v2.2.2...v2.2.3

v2.2.2

Bugfix for clause/2 and the use of soft cuts, cut/1.