Path	Lines of Code
include/z3++.h	3074
include/z3.h	14
include/z3_algebraic.h	28
include/z3_api.h	1088
include/z3_ast_containers.h	28
include/z3_fixedpoint.h	74
include/z3_fpa.h	87
include/z3_macros.h	13
include/z3_optimization.h	41
include/z3_polynomial.h	8
include/z3_rcf.h	30
include/z3_spacer.h	34
include/z3_v1.h	38
include/z3_version.h	5