Path	Lines of Code
amzn-smt-eager-arithmetic/src/canonicalize.rs	314
amzn-smt-eager-arithmetic/src/lib.rs	313
amzn-smt-ir-derive/src/lib.rs	438
amzn-smt-ir/src/ackerman.rs	259
amzn-smt-ir/src/cnf.rs	619
amzn-smt-ir/src/fold.rs	437
amzn-smt-ir/src/logic.rs	185
amzn-smt-ir/src/term.rs	448
amzn-smt-ir/src/term/convert.rs	596
amzn-smt-ir/src/term/sort_checking.rs	95
amzn-smt-ir/src/types.rs	488
amzn-smt-ir/src/visit.rs	316
amzn-smt-prediction/scripts/generate_predictions.py	216
amzn-smt-prediction/scripts/get_solver_output.py	55
amzn-smt-prediction/scripts/get_word_count_features.py	64
amzn-smt-prediction/scripts/get_word_counts.py	32