g2q (hackage): G2Q allows constraint programming, via writing Haskell predicates. A quasiquoter, g2, is provided which can take concrete arguments at runtime, and solve for unknown symbolic arguments.
Keywords: bsd3|formal-methods|library|symbolic-computation