diff --git a/btor.ys b/backends/btor/btor.ys
similarity index 100%
rename from btor.ys
rename to backends/btor/btor.ys
diff --git a/verilog2btor.sh b/backends/btor/verilog2btor.sh
similarity index 100%
rename from verilog2btor.sh
rename to backends/btor/verilog2btor.sh