haskell-z3

Tech stack & purpose

Haskell-z3 provides unofficial Haskell bindings to Microsoft's Z3 theorem prover, enabling developers to build verification tools in Haskell on top of Z3's SMT solving capabilities. The bindings offer a low-level API without a high-level eDSL, targeting users who need direct access to Z3's functionality. The library is built in Haskell and maintained by Iago Abal, with a version policy that tracks Z3 releases (currently supporting Z3 4.8.* versions) and includes automatic garbage collection and thread-safety features for concurrent use.

Community & reference links

• z3
• Z3

Languages

Contributors (top 30 of 41)

• 
  Iago Abal288 commits · 31 followers
• David Castro87 commits
• 
  Mauro Bringolf21 commits · 43 followers
• Scott West10 commits
• Nadia Polikarpova9 commits
• Nathan Howell7 commits
• Jakub Daniel6 commits
• M Farkas-Dyck4 commits
• Carlo Nucera3 commits
• Eddy Westbrook3 commits
• 
  KC Sivaramakrishnan2 commits · 529 followers
• 
  david cao2 commits · 24 followers
• Bill Hallahan2 commits
• 0xd34df00d2 commits
• 
  Ilia Vlasov2 commits · 69 followers
• 
  Oliver Westphal2 commits · 2 followers
• Deian Stefan2 commits
• AlexKnauth1 commits
• Tristan Knoth1 commits
• 
  Quentin Aristote1 commits · 1 followers
• Jose Iborra1 commits
• 
  Hogeyama1 commits · 11 followers
• 
  Daniel Gröber (dxld)1 commits · 122 followers
• Stephen Edwards1 commits
• Eric Walkingshaw1 commits
• Zachary Susag1 commits
• 
  plredmond1 commits · 20 followers
• David Heath1 commits
• Artem Yurchenko1 commits
• Gleb Popov1 commits