SBV: easily use SMT solvers from Haskellocharles.org.uk1 point·tikhonj··0 commentsOpen articleSaveView on HN