diff --git a/examples/flatzinc/README b/examples/flatzinc/README.md
similarity index 100%
rename from examples/flatzinc/README
rename to examples/flatzinc/README.md