Path	Lines of Code
amzn-smt-eager-arithmetic/src/canonicalize.rs	314
amzn-smt-eager-arithmetic/src/encoding.rs	628
amzn-smt-eager-arithmetic/src/lib.rs	313
amzn-smt-eager-arithmetic/src/main.rs	66
amzn-smt-eager-arithmetic/src/stats.rs	280