[Haskell-cafe] Solving integer equations in Haskell
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