IagoAbal/haskell-z3 IagoAbal/haskell-z3

  • Stars
    star
    57
  • Rank 522,947 (Top 11 %)
  • Language
    Haskell
  • License
    Other
  • Created over 6 years ago
  • Updated 9 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
IagoAbal/haskell-z3
github

IagoAbal

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Haskell bindings to Microsoft's Z3 API (unofficial).

More Repositories

1

eba

EBA is a static bug finder for C.
OCaml
14
star
2

haskell-bv

Bit-vector arithmetic library for Haskell
Haskell
3
star
3

darcs-alloy

Specification of Darcs' Patch Theory Kernel in Alloy
Alloy
1
star
4

2017-vmcai

Submission to VMCAI 2017.
C
1
star