search

salmans / Razor

5 stars 0 forks source link

Deployment of SMTLib2 #21

Closed salmans closed 9 years ago

salmans commented 10 years ago

SMTLib2 is not available on Hackage yet. We should find a convenient way for deploying the package outside of cabal sandboxing.

salmans commented 10 years ago

The SMTLib2 team is considering making the library available on Hackage soon.

salmans commented 10 years ago

SMTLib2 is still not available on Hackage. Temporarily, I have added install.sh to facilitate installing Razor in a Cabal sandbox. This requires Cabal version 1.18 and higher.

salmans commented 9 years ago

SMTLib2 is now available on Hackage. We are going to commit to SMTLib2 as the only interface to the SMT solver and stop supporting SBV.