#Chinese Remainder Theorem Solver
This software produces solutions to simultaneous congruences.
Load it with ghci to use.
Congruences are stored as 'Modrel's, or modulus relations.
'ax = b mod n' becomes (Modrel a b n).
This software is licensed under the MIT License.