## SBV: SMT Based Verification in Haskell

[![Hackage version](http://img.shields.io/hackage/v/sbv.svg?label=Hackage)](http://hackage.haskell.org/package/sbv)

Please see: http://leventerkok.github.io/sbv/

### Build Status

 - Linux:
     - GHC 8.4.4 [![Build1][3]][1]
     - GHC 8.6.3 [![Build1][4]][1]
 - Mac OSX:
     - GHC 8.6.3 [![Build1][5]][1]
 - Windows:
     - GHC 8.6.2 [![Build5][6]][2]

[1]: https://travis-ci.org/LeventErkok/sbv
[2]: https://ci.appveyor.com/project/LeventErkok/sbv
[3]: https://travis-matrix-badges.herokuapp.com/repos/LeventErkok/sbv/branches/master/1
[4]: https://travis-matrix-badges.herokuapp.com/repos/LeventErkok/sbv/branches/master/2
[5]: https://travis-matrix-badges.herokuapp.com/repos/LeventErkok/sbv/branches/master/3
[6]: https://ci.appveyor.com/api/projects/status/github/LeventErkok/sbv?svg=true