presburger icon indicating copy to clipboard operation
presburger copied to clipboard

Published 20 hours ago • verified publisher icon yav

Needs GHC >= 7.2 due to usage of Trustworthy

Open bergmark opened this issue 9 years ago • 0 comments 

src/Data/Integer/SAT.hs:1:14: Unsupported extension: Trustworthy

I've revised existing versions so a new release isn't necessary.

bergmark avatar May 28 '15 08:05 bergmark