pycosat icon indicating copy to clipboard operation
pycosat copied to clipboard

allocate memory before calling blocksol

Open dholth opened this issue 1 year ago • 0 comments

Description

This is a shorter fix for #38, with apologies to the original submitter.

dholth avatar Oct 14 '22 19:10 dholth