[Haskell-cafe] Solving integer equations in Haskell

Johannes Waldmann waldmann at imn.htwk-leipzig.de
Mon Oct 15 18:00:01 CEST 2012

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


More information about the Haskell-Cafe mailing list