diff --git a/acasxu.why b/examples/acasxu.why
similarity index 100%
rename from acasxu.why
rename to examples/acasxu.why
diff --git a/config.ml b/standalone/config.ml
similarity index 100%
rename from config.ml
rename to standalone/config.ml
diff --git a/config.mli b/standalone/config.mli
similarity index 100%
rename from config.mli
rename to standalone/config.mli
diff --git a/dune b/standalone/dune
similarity index 100%
rename from dune
rename to standalone/dune
diff --git a/engine.ml b/standalone/engine.ml
similarity index 100%
rename from engine.ml
rename to standalone/engine.ml
diff --git a/engine.mli b/standalone/engine.mli
similarity index 100%
rename from engine.mli
rename to standalone/engine.mli
diff --git a/main.ml b/standalone/main.ml
similarity index 100%
rename from main.ml
rename to standalone/main.ml
diff --git a/marabou.ml b/standalone/marabou.ml
similarity index 100%
rename from marabou.ml
rename to standalone/marabou.ml
diff --git a/marabou.mli b/standalone/marabou.mli
similarity index 100%
rename from marabou.mli
rename to standalone/marabou.mli
diff --git a/model.ml b/standalone/model.ml
similarity index 100%
rename from model.ml
rename to standalone/model.ml
diff --git a/model.mli b/standalone/model.mli
similarity index 100%
rename from model.mli
rename to standalone/model.mli
diff --git a/property.ml b/standalone/property.ml
similarity index 100%
rename from property.ml
rename to standalone/property.ml
diff --git a/property.mli b/standalone/property.mli
similarity index 100%
rename from property.mli
rename to standalone/property.mli
diff --git a/property_lexer.mll b/standalone/property_lexer.mll
similarity index 100%
rename from property_lexer.mll
rename to standalone/property_lexer.mll
diff --git a/property_parser.mly b/standalone/property_parser.mly
similarity index 100%
rename from property_parser.mly
rename to standalone/property_parser.mly
diff --git a/property_types.mli b/standalone/property_types.mli
similarity index 100%
rename from property_types.mli
rename to standalone/property_types.mli
diff --git a/pyrat.ml b/standalone/pyrat.ml
similarity index 100%
rename from pyrat.ml
rename to standalone/pyrat.ml
diff --git a/pyrat.mli b/standalone/pyrat.mli
similarity index 100%
rename from pyrat.mli
rename to standalone/pyrat.mli
diff --git a/solver.ml b/standalone/solver.ml
similarity index 100%
rename from solver.ml
rename to standalone/solver.ml
diff --git a/solver.mli b/standalone/solver.mli
similarity index 100%
rename from solver.mli
rename to standalone/solver.mli
diff --git a/utils.ml b/standalone/utils.ml
similarity index 100%
rename from utils.ml
rename to standalone/utils.ml
diff --git a/utils.mli b/standalone/utils.mli
similarity index 100%
rename from utils.mli
rename to standalone/utils.mli