search

ucsd-progsys / liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types
BSD 3-Clause "New" or "Revised" License
132 stars 60 forks source link

Leave link-z3-as-a-library unset in both cabal.project and stack.yaml #665

Closed facundominguez closed 9 months ago

facundominguez commented 9 months ago

cc @philderbeast