[Haskell-cafe] Solving integer equations in Haskell

[Johannes Waldmann]

Justin Paston-Cooper <paston.cooper <at> gmail.com> writes:

> Can anyone suggest a library written in Haskell which can solve equations 
> of the form xM(transpose(x)) = y, where x should be an integer vector, 
> M is an integer matrix and y is an integer?

when in doubt, use brute force: 

write this as a constraint system 
(in QF_NIA or QF_BV logics) and solve with Z3.

Use SBV to write the constraints programmatically
http://hackage.haskell.org/package/sbv

J.W.