pycosat
pycosat copied to clipboard
allocate memory before calling blocksol
Description
This is a shorter fix for #38, with apologies to the original submitter.