clasp version 3.2.2

News

• experimental support for MiniCard's CNF+ format
• stats key "summary.winner" for getting id of winner thread from clingo

Fixes

• regression in sat/pb reader
• regression in handling of unsatisfiable optimization problems
• regression in component-wise shifting and preprocessing of disjunctive rules
• ClaspFacade::startSolve() could produce duplicate and/or miss models
• failed to handle empty clauses added from theory propagator
• invalid logged lemmas due to buggy minimization in Solver::resolveToFlagged()
• LogicProgram::dispose() must reset pointers
• compilation problems on Cygwin and Alpha