C

cryptominisat4

A version of cryptominisat allowing Projection in Model Counting.