diff --git a/sledge/lib/control.ml b/sledge/src/control.ml
similarity index 100%
rename from sledge/lib/control.ml
rename to sledge/src/control.ml
diff --git a/sledge/lib/control.mli b/sledge/src/control.mli
similarity index 100%
rename from sledge/lib/control.mli
rename to sledge/src/control.mli
diff --git a/sledge/lib/domain_intf.ml b/sledge/src/domain_intf.ml
similarity index 100%
rename from sledge/lib/domain_intf.ml
rename to sledge/src/domain_intf.ml
diff --git a/sledge/lib/domain_relation.ml b/sledge/src/domain_relation.ml
similarity index 100%
rename from sledge/lib/domain_relation.ml
rename to sledge/src/domain_relation.ml
diff --git a/sledge/lib/domain_relation.mli b/sledge/src/domain_relation.mli
similarity index 100%
rename from sledge/lib/domain_relation.mli
rename to sledge/src/domain_relation.mli
diff --git a/sledge/lib/domain_sh.ml b/sledge/src/domain_sh.ml
similarity index 100%
rename from sledge/lib/domain_sh.ml
rename to sledge/src/domain_sh.ml
diff --git a/sledge/lib/domain_sh.mli b/sledge/src/domain_sh.mli
similarity index 100%
rename from sledge/lib/domain_sh.mli
rename to sledge/src/domain_sh.mli
diff --git a/sledge/lib/domain_unit.ml b/sledge/src/domain_unit.ml
similarity index 100%
rename from sledge/lib/domain_unit.ml
rename to sledge/src/domain_unit.ml
diff --git a/sledge/lib/domain_unit.mli b/sledge/src/domain_unit.mli
similarity index 100%
rename from sledge/lib/domain_unit.mli
rename to sledge/src/domain_unit.mli
diff --git a/sledge/lib/domain_used_globals.ml b/sledge/src/domain_used_globals.ml
similarity index 100%
rename from sledge/lib/domain_used_globals.ml
rename to sledge/src/domain_used_globals.ml
diff --git a/sledge/lib/domain_used_globals.mli b/sledge/src/domain_used_globals.mli
similarity index 100%
rename from sledge/lib/domain_used_globals.mli
rename to sledge/src/domain_used_globals.mli
diff --git a/sledge/lib/dune b/sledge/src/dune
similarity index 100%
rename from sledge/lib/dune
rename to sledge/src/dune
diff --git a/sledge/lib/equality.ml b/sledge/src/equality.ml
similarity index 100%
rename from sledge/lib/equality.ml
rename to sledge/src/equality.ml
diff --git a/sledge/lib/equality.mli b/sledge/src/equality.mli
similarity index 100%
rename from sledge/lib/equality.mli
rename to sledge/src/equality.mli
diff --git a/sledge/lib/equality_test.ml b/sledge/src/equality_test.ml
similarity index 100%
rename from sledge/lib/equality_test.ml
rename to sledge/src/equality_test.ml
diff --git a/sledge/lib/equality_test.mli b/sledge/src/equality_test.mli
similarity index 100%
rename from sledge/lib/equality_test.mli
rename to sledge/src/equality_test.mli
diff --git a/sledge/lib/exec.ml b/sledge/src/exec.ml
similarity index 100%
rename from sledge/lib/exec.ml
rename to sledge/src/exec.ml
diff --git a/sledge/lib/exec.mli b/sledge/src/exec.mli
similarity index 100%
rename from sledge/lib/exec.mli
rename to sledge/src/exec.mli
diff --git a/sledge/lib/exp.ml b/sledge/src/exp.ml
similarity index 100%
rename from sledge/lib/exp.ml
rename to sledge/src/exp.ml
diff --git a/sledge/lib/exp.mli b/sledge/src/exp.mli
similarity index 100%
rename from sledge/lib/exp.mli
rename to sledge/src/exp.mli
diff --git a/sledge/lib/exp_test.ml b/sledge/src/exp_test.ml
similarity index 100%
rename from sledge/lib/exp_test.ml
rename to sledge/src/exp_test.ml
diff --git a/sledge/lib/exp_test.mli b/sledge/src/exp_test.mli
similarity index 100%
rename from sledge/lib/exp_test.mli
rename to sledge/src/exp_test.mli
diff --git a/sledge/lib/global.ml b/sledge/src/global.ml
similarity index 100%
rename from sledge/lib/global.ml
rename to sledge/src/global.ml
diff --git a/sledge/lib/global.mli b/sledge/src/global.mli
similarity index 100%
rename from sledge/lib/global.mli
rename to sledge/src/global.mli
diff --git a/sledge/lib/import/dune b/sledge/src/import/dune
similarity index 100%
rename from sledge/lib/import/dune
rename to sledge/src/import/dune
diff --git a/sledge/lib/import/iArray.ml b/sledge/src/import/iArray.ml
similarity index 100%
rename from sledge/lib/import/iArray.ml
rename to sledge/src/import/iArray.ml
diff --git a/sledge/lib/import/iArray.mli b/sledge/src/import/iArray.mli
similarity index 100%
rename from sledge/lib/import/iArray.mli
rename to sledge/src/import/iArray.mli
diff --git a/sledge/lib/import/import.ml b/sledge/src/import/import.ml
similarity index 100%
rename from sledge/lib/import/import.ml
rename to sledge/src/import/import.ml
diff --git a/sledge/lib/import/import.mli b/sledge/src/import/import.mli
similarity index 100%
rename from sledge/lib/import/import.mli
rename to sledge/src/import/import.mli
diff --git a/sledge/lib/import/import0.ml b/sledge/src/import/import0.ml
similarity index 100%
rename from sledge/lib/import/import0.ml
rename to sledge/src/import/import0.ml
diff --git a/sledge/lib/import/list.ml b/sledge/src/import/list.ml
similarity index 100%
rename from sledge/lib/import/list.ml
rename to sledge/src/import/list.ml
diff --git a/sledge/lib/import/list.mli b/sledge/src/import/list.mli
similarity index 100%
rename from sledge/lib/import/list.mli
rename to sledge/src/import/list.mli
diff --git a/sledge/lib/import/map.ml b/sledge/src/import/map.ml
similarity index 100%
rename from sledge/lib/import/map.ml
rename to sledge/src/import/map.ml
diff --git a/sledge/lib/import/map.mli b/sledge/src/import/map.mli
similarity index 100%
rename from sledge/lib/import/map.mli
rename to sledge/src/import/map.mli
diff --git a/sledge/lib/import/map_intf.ml b/sledge/src/import/map_intf.ml
similarity index 100%
rename from sledge/lib/import/map_intf.ml
rename to sledge/src/import/map_intf.ml
diff --git a/sledge/lib/import/option.ml b/sledge/src/import/option.ml
similarity index 100%
rename from sledge/lib/import/option.ml
rename to sledge/src/import/option.ml
diff --git a/sledge/lib/import/option.mli b/sledge/src/import/option.mli
similarity index 100%
rename from sledge/lib/import/option.mli
rename to sledge/src/import/option.mli
diff --git a/sledge/lib/import/qset.ml b/sledge/src/import/qset.ml
similarity index 100%
rename from sledge/lib/import/qset.ml
rename to sledge/src/import/qset.ml
diff --git a/sledge/lib/import/qset.mli b/sledge/src/import/qset.mli
similarity index 100%
rename from sledge/lib/import/qset.mli
rename to sledge/src/import/qset.mli
diff --git a/sledge/lib/import/qset_intf.ml b/sledge/src/import/qset_intf.ml
similarity index 100%
rename from sledge/lib/import/qset_intf.ml
rename to sledge/src/import/qset_intf.ml
diff --git a/sledge/lib/import/set.ml b/sledge/src/import/set.ml
similarity index 100%
rename from sledge/lib/import/set.ml
rename to sledge/src/import/set.ml
diff --git a/sledge/lib/import/set.mli b/sledge/src/import/set.mli
similarity index 100%
rename from sledge/lib/import/set.mli
rename to sledge/src/import/set.mli
diff --git a/sledge/lib/import/set_intf.ml b/sledge/src/import/set_intf.ml
similarity index 100%
rename from sledge/lib/import/set_intf.ml
rename to sledge/src/import/set_intf.ml
diff --git a/sledge/lib/llair.ml b/sledge/src/llair.ml
similarity index 100%
rename from sledge/lib/llair.ml
rename to sledge/src/llair.ml
diff --git a/sledge/lib/llair.mli b/sledge/src/llair.mli
similarity index 100%
rename from sledge/lib/llair.mli
rename to sledge/src/llair.mli
diff --git a/sledge/lib/loc.ml b/sledge/src/loc.ml
similarity index 100%
rename from sledge/lib/loc.ml
rename to sledge/src/loc.ml
diff --git a/sledge/lib/loc.mli b/sledge/src/loc.mli
similarity index 100%
rename from sledge/lib/loc.mli
rename to sledge/src/loc.mli
diff --git a/sledge/lib/reg.ml b/sledge/src/reg.ml
similarity index 100%
rename from sledge/lib/reg.ml
rename to sledge/src/reg.ml
diff --git a/sledge/lib/reg.mli b/sledge/src/reg.mli
similarity index 100%
rename from sledge/lib/reg.mli
rename to sledge/src/reg.mli
diff --git a/sledge/lib/report.ml b/sledge/src/report.ml
similarity index 100%
rename from sledge/lib/report.ml
rename to sledge/src/report.ml
diff --git a/sledge/lib/report.mli b/sledge/src/report.mli
similarity index 100%
rename from sledge/lib/report.mli
rename to sledge/src/report.mli
diff --git a/sledge/lib/sh.ml b/sledge/src/sh.ml
similarity index 100%
rename from sledge/lib/sh.ml
rename to sledge/src/sh.ml
diff --git a/sledge/lib/sh.mli b/sledge/src/sh.mli
similarity index 100%
rename from sledge/lib/sh.mli
rename to sledge/src/sh.mli
diff --git a/sledge/lib/sh_test.ml b/sledge/src/sh_test.ml
similarity index 100%
rename from sledge/lib/sh_test.ml
rename to sledge/src/sh_test.ml
diff --git a/sledge/lib/sh_test.mli b/sledge/src/sh_test.mli
similarity index 100%
rename from sledge/lib/sh_test.mli
rename to sledge/src/sh_test.mli
diff --git a/sledge/lib/solver.ml b/sledge/src/solver.ml
similarity index 100%
rename from sledge/lib/solver.ml
rename to sledge/src/solver.ml
diff --git a/sledge/lib/solver.mli b/sledge/src/solver.mli
similarity index 100%
rename from sledge/lib/solver.mli
rename to sledge/src/solver.mli
diff --git a/sledge/lib/solver_test.ml b/sledge/src/solver_test.ml
similarity index 100%
rename from sledge/lib/solver_test.ml
rename to sledge/src/solver_test.ml
diff --git a/sledge/lib/solver_test.mli b/sledge/src/solver_test.mli
similarity index 100%
rename from sledge/lib/solver_test.mli
rename to sledge/src/solver_test.mli
diff --git a/sledge/lib/stop.ml b/sledge/src/stop.ml
similarity index 100%
rename from sledge/lib/stop.ml
rename to sledge/src/stop.ml
diff --git a/sledge/lib/stop.mli b/sledge/src/stop.mli
similarity index 100%
rename from sledge/lib/stop.mli
rename to sledge/src/stop.mli
diff --git a/sledge/lib/term.ml b/sledge/src/term.ml
similarity index 100%
rename from sledge/lib/term.ml
rename to sledge/src/term.ml
diff --git a/sledge/lib/term.mli b/sledge/src/term.mli
similarity index 100%
rename from sledge/lib/term.mli
rename to sledge/src/term.mli
diff --git a/sledge/lib/term_test.ml b/sledge/src/term_test.ml
similarity index 100%
rename from sledge/lib/term_test.ml
rename to sledge/src/term_test.ml
diff --git a/sledge/lib/term_test.mli b/sledge/src/term_test.mli
similarity index 100%
rename from sledge/lib/term_test.mli
rename to sledge/src/term_test.mli
diff --git a/sledge/lib/timer.ml b/sledge/src/timer.ml
similarity index 100%
rename from sledge/lib/timer.ml
rename to sledge/src/timer.ml
diff --git a/sledge/lib/timer.mli b/sledge/src/timer.mli
similarity index 100%
rename from sledge/lib/timer.mli
rename to sledge/src/timer.mli
diff --git a/sledge/lib/typ.ml b/sledge/src/typ.ml
similarity index 100%
rename from sledge/lib/typ.ml
rename to sledge/src/typ.ml
diff --git a/sledge/lib/typ.mli b/sledge/src/typ.mli
similarity index 100%
rename from sledge/lib/typ.mli
rename to sledge/src/typ.mli
diff --git a/sledge/lib/var.ml b/sledge/src/var.ml
similarity index 100%
rename from sledge/lib/var.ml
rename to sledge/src/var.ml
diff --git a/sledge/lib/var.mli b/sledge/src/var.mli
similarity index 100%
rename from sledge/lib/var.mli
rename to sledge/src/var.mli