diff --git a/examples/exact-cover.lp b/examples/example-exact-cover.lp
similarity index 100%
rename from examples/exact-cover.lp
rename to examples/example-exact-cover.lp
diff --git a/examples/exact-cover.spec b/examples/example-exact-cover.spec
similarity index 100%
rename from examples/exact-cover.spec
rename to examples/example-exact-cover.spec