clasp version 3.3.2
Fixes
- missing lower bound output in unsat-core optimization for bounds < 0
- conflict clauses not always tagged with assumptions in unsat-core optimization
- invalid reallocation of vector during theory propagation
- Issue potassco/clingo#45
- Issue #10
- workaround for bug #81365 in gcc 7.1 (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81365)
- support for
<EOL>as terminator for minweight constraint in dimacs input