Math.Diophantine

Data

data Equation

data Solution

type Z

data SolveError

data ParseError

Utilities

readEquation

specializeEquation

toMaybeList

mergeSolutions

Equation Solving

solve

solveString