Path	Lines of Code
sledge/cli/config.ml	36
sledge/cli/config.mli	10
sledge/cli/domain_itv.ml	274
sledge/cli/domain_itv.mli	9
sledge/cli/frontend.ml	1668
sledge/cli/frontend.mli	17
sledge/cli/sledge_buck.ml	222
sledge/cli/sledge_buck.mli	8
sledge/cli/sledge_cli.ml	311
sledge/cli/smtlib.ml	171
sledge/cli/smtlib.mli	8
sledge/cli/version.ml	43
sledge/cli/version.mli	10