Iago Abal

icon location EU icon location Static analysis and formal software verification.

Results 1 repositories owned by Iago Abal

haskell-z3

58
Stars
46
Forks
Watchers

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

verified publisher icon IagoAbal