diff --git a/sledge/Makefile b/sledge/Makefile
index caf5020a5..f833a57f5 100644
--- a/sledge/Makefile
+++ b/sledge/Makefile
@@ -6,7 +6,7 @@
 .PHONY: default
 default: exes
 
-EXES = bin/sledge_cli report/sledge_report
+EXES = cli/sledge_cli report/sledge_report
 INSTALLS = sledge
 
 DEBUG_TARGETS = $(patsubst %,_build/debug/%.exe,$(EXES)) $(patsubst %,_build/debug/%.install,$(INSTALLS))
diff --git a/sledge/bin/config.ml b/sledge/cli/config.ml
similarity index 100%
rename from sledge/bin/config.ml
rename to sledge/cli/config.ml
diff --git a/sledge/bin/config.mli b/sledge/cli/config.mli
similarity index 100%
rename from sledge/bin/config.mli
rename to sledge/cli/config.mli
diff --git a/sledge/bin/domain_itv.ml b/sledge/cli/domain_itv.ml
similarity index 100%
rename from sledge/bin/domain_itv.ml
rename to sledge/cli/domain_itv.ml
diff --git a/sledge/bin/domain_itv.mli b/sledge/cli/domain_itv.mli
similarity index 100%
rename from sledge/bin/domain_itv.mli
rename to sledge/cli/domain_itv.mli
diff --git a/sledge/bin/frontend.ml b/sledge/cli/frontend.ml
similarity index 100%
rename from sledge/bin/frontend.ml
rename to sledge/cli/frontend.ml
diff --git a/sledge/bin/frontend.mli b/sledge/cli/frontend.mli
similarity index 100%
rename from sledge/bin/frontend.mli
rename to sledge/cli/frontend.mli
diff --git a/sledge/bin/sledge_buck.ml b/sledge/cli/sledge_buck.ml
similarity index 100%
rename from sledge/bin/sledge_buck.ml
rename to sledge/cli/sledge_buck.ml
diff --git a/sledge/bin/sledge_buck.mli b/sledge/cli/sledge_buck.mli
similarity index 100%
rename from sledge/bin/sledge_buck.mli
rename to sledge/cli/sledge_buck.mli
diff --git a/sledge/bin/sledge_cli.ml b/sledge/cli/sledge_cli.ml
similarity index 100%
rename from sledge/bin/sledge_cli.ml
rename to sledge/cli/sledge_cli.ml
diff --git a/sledge/bin/sledge_cli.mli b/sledge/cli/sledge_cli.mli
similarity index 100%
rename from sledge/bin/sledge_cli.mli
rename to sledge/cli/sledge_cli.mli
diff --git a/sledge/bin/smtlib.ml b/sledge/cli/smtlib.ml
similarity index 100%
rename from sledge/bin/smtlib.ml
rename to sledge/cli/smtlib.ml
diff --git a/sledge/bin/smtlib.mli b/sledge/cli/smtlib.mli
similarity index 100%
rename from sledge/bin/smtlib.mli
rename to sledge/cli/smtlib.mli
diff --git a/sledge/bin/version.ml b/sledge/cli/version.ml
similarity index 100%
rename from sledge/bin/version.ml
rename to sledge/cli/version.ml
diff --git a/sledge/bin/version.mli b/sledge/cli/version.mli
similarity index 100%
rename from sledge/bin/version.mli
rename to sledge/cli/version.mli
diff --git a/sledge/dune b/sledge/dune
index db5206d00..71bff6d15 100644
--- a/sledge/dune
+++ b/sledge/dune
@@ -114,7 +114,7 @@
   (public_name sledge.model)))
 
 (subdir
- bin
+ cli
  (executable
   (name sledge_cli)
   (public_name sledge)
@@ -132,8 +132,8 @@
 
 (rule
  (targets sledge-help.txt)
- (deps bin/sledge_cli.ml bin/sledge_buck.ml tools/gen_help.sh
-   bin/sledge_cli.exe)
+ (deps cli/sledge_cli.ml cli/sledge_buck.ml tools/gen_help.sh
+   cli/sledge_cli.exe)
  (action
   (with-stdout-to
    sledge-help.txt
diff --git a/sledge/test/Makefile b/sledge/test/Makefile
index 35c47630d..be636fd39 100644
--- a/sledge/test/Makefile
+++ b/sledge/test/Makefile
@@ -7,8 +7,8 @@
 CLANG_ARGS?=-O0
 
 # executable to test
-SLEDGE_DBG=$(CURDIR)/../_build/debug/bin/sledge_cli.exe
-SLEDGE_OPT=$(CURDIR)/../_build/release/bin/sledge_cli.exe
+SLEDGE_DBG=$(CURDIR)/../_build/debug/cli/sledge_cli.exe
+SLEDGE_OPT=$(CURDIR)/../_build/release/cli/sledge_cli.exe
 
 # additional arguments to pass to sledge
 SLEDGE_ARGS?=