G2Q: Haskell constraint solving
William T. Hallahan, Anton Xue, Ružica Piskač · 2019
Constraint solvers give programmers a useful interface to solve challenging constraints at runtime. In particular, SMT solvers have been used for a vast variety of different, useful applications, ranging from strengthening Haskell's type system to verifying network protocols.