diff --git a/Makefile b/reactics-smt/Makefile
similarity index 100%
rename from Makefile
rename to reactics-smt/Makefile
diff --git a/colour.py b/reactics-smt/colour.py
similarity index 100%
rename from colour.py
rename to reactics-smt/colour.py
diff --git a/doc/overview.py b/reactics-smt/doc/overview.py
similarity index 100%
rename from doc/overview.py
rename to reactics-smt/doc/overview.py
diff --git a/logics/__init__.py b/reactics-smt/logics/__init__.py
similarity index 100%
rename from logics/__init__.py
rename to reactics-smt/logics/__init__.py
diff --git a/logics/bags.py b/reactics-smt/logics/bags.py
similarity index 100%
rename from logics/bags.py
rename to reactics-smt/logics/bags.py
diff --git a/logics/param_constr.py b/reactics-smt/logics/param_constr.py
similarity index 100%
rename from logics/param_constr.py
rename to reactics-smt/logics/param_constr.py
diff --git a/logics/param_constr_encoder.py b/reactics-smt/logics/param_constr_encoder.py
similarity index 100%
rename from logics/param_constr_encoder.py
rename to reactics-smt/logics/param_constr_encoder.py
diff --git a/logics/rsltl.py b/reactics-smt/logics/rsltl.py
similarity index 100%
rename from logics/rsltl.py
rename to reactics-smt/logics/rsltl.py
diff --git a/logics/rsltl_encoder.py b/reactics-smt/logics/rsltl_encoder.py
similarity index 100%
rename from logics/rsltl_encoder.py
rename to reactics-smt/logics/rsltl_encoder.py
diff --git a/rs/__init__.py b/reactics-smt/rs/__init__.py
similarity index 100%
rename from rs/__init__.py
rename to reactics-smt/rs/__init__.py
diff --git a/rs/context_automaton.py b/reactics-smt/rs/context_automaton.py
similarity index 100%
rename from rs/context_automaton.py
rename to reactics-smt/rs/context_automaton.py
diff --git a/rs/context_automaton_with_concentrations.py b/reactics-smt/rs/context_automaton_with_concentrations.py
similarity index 100%
rename from rs/context_automaton_with_concentrations.py
rename to reactics-smt/rs/context_automaton_with_concentrations.py
diff --git a/rs/extended_context_automaton.py b/reactics-smt/rs/extended_context_automaton.py
similarity index 100%
rename from rs/extended_context_automaton.py
rename to reactics-smt/rs/extended_context_automaton.py
diff --git a/rs/network_of_context_automata.py b/reactics-smt/rs/network_of_context_automata.py
similarity index 100%
rename from rs/network_of_context_automata.py
rename to reactics-smt/rs/network_of_context_automata.py
diff --git a/rs/reaction_system.py b/reactics-smt/rs/reaction_system.py
similarity index 100%
rename from rs/reaction_system.py
rename to reactics-smt/rs/reaction_system.py
diff --git a/rs/reaction_system_with_autnet.py b/reactics-smt/rs/reaction_system_with_autnet.py
similarity index 100%
rename from rs/reaction_system_with_autnet.py
rename to reactics-smt/rs/reaction_system_with_autnet.py
diff --git a/rs/reaction_system_with_automaton.py b/reactics-smt/rs/reaction_system_with_automaton.py
similarity index 100%
rename from rs/reaction_system_with_automaton.py
rename to reactics-smt/rs/reaction_system_with_automaton.py
diff --git a/rs/reaction_system_with_concentrations.py b/reactics-smt/rs/reaction_system_with_concentrations.py
similarity index 100%
rename from rs/reaction_system_with_concentrations.py
rename to reactics-smt/rs/reaction_system_with_concentrations.py
diff --git a/rs/reaction_system_with_concentrations_param.py b/reactics-smt/rs/reaction_system_with_concentrations_param.py
similarity index 100%
rename from rs/reaction_system_with_concentrations_param.py
rename to reactics-smt/rs/reaction_system_with_concentrations_param.py
diff --git a/rs_examples.py b/reactics-smt/rs_examples.py
similarity index 100%
rename from rs_examples.py
rename to reactics-smt/rs_examples.py
diff --git a/rs_testing.py b/reactics-smt/rs_testing.py
similarity index 100%
rename from rs_testing.py
rename to reactics-smt/rs_testing.py
diff --git a/rsltl_shortcuts.py b/reactics-smt/rsltl_shortcuts.py
similarity index 100%
rename from rsltl_shortcuts.py
rename to reactics-smt/rsltl_shortcuts.py
diff --git a/rssmt.py b/reactics-smt/rssmt.py
similarity index 100%
rename from rssmt.py
rename to reactics-smt/rssmt.py
diff --git a/scripts/avg.py b/reactics-smt/scripts/avg.py
similarity index 100%
rename from scripts/avg.py
rename to reactics-smt/scripts/avg.py
diff --git a/scripts/mkplotdat.sh b/reactics-smt/scripts/mkplotdat.sh
similarity index 100%
rename from scripts/mkplotdat.sh
rename to reactics-smt/scripts/mkplotdat.sh
diff --git a/scripts/run.sh b/reactics-smt/scripts/run.sh
similarity index 100%
rename from scripts/run.sh
rename to reactics-smt/scripts/run.sh
diff --git a/scripts/run_3d.sh b/reactics-smt/scripts/run_3d.sh
similarity index 100%
rename from scripts/run_3d.sh
rename to reactics-smt/scripts/run_3d.sh
diff --git a/scripts/run_mutex_param.sh b/reactics-smt/scripts/run_mutex_param.sh
similarity index 100%
rename from scripts/run_mutex_param.sh
rename to reactics-smt/scripts/run_mutex_param.sh
diff --git a/scripts/run_scalable_chain_rsLTL_FI.sh b/reactics-smt/scripts/run_scalable_chain_rsLTL_FI.sh
similarity index 100%
rename from scripts/run_scalable_chain_rsLTL_FI.sh
rename to reactics-smt/scripts/run_scalable_chain_rsLTL_FI.sh
diff --git a/smt/__init__.py b/reactics-smt/smt/__init__.py
similarity index 100%
rename from smt/__init__.py
rename to reactics-smt/smt/__init__.py
diff --git a/smt/smt_checker_rs.py b/reactics-smt/smt/smt_checker_rs.py
similarity index 100%
rename from smt/smt_checker_rs.py
rename to reactics-smt/smt/smt_checker_rs.py
diff --git a/smt/smt_checker_rsc.py b/reactics-smt/smt/smt_checker_rsc.py
similarity index 100%
rename from smt/smt_checker_rsc.py
rename to reactics-smt/smt/smt_checker_rsc.py
diff --git a/smt/smt_checker_rsc_param.py b/reactics-smt/smt/smt_checker_rsc_param.py
similarity index 100%
rename from smt/smt_checker_rsc_param.py
rename to reactics-smt/smt/smt_checker_rsc_param.py