Try FORCE.
Don't apply FORCE on the rewritten relation transition.
Merge branch 'master' into force

Conflicts:
	src/conf/fill_configuration.cc
Merge branch 'master' into force
Merge branch 'master' into force

Conflicts:
	src/conf/fill_configuration.cc
	src/mc/work.cc
Display FORCE time.
Construct hypergraph for FORCE directly from the PN.
Merge branch 'master' into force
Merge branch 'master' into force

Conflicts:
	src/conf/fill_configuration.cc
	src/mc/work.cc
Merge branch 'master' into force

Conflicts:
	src/mc/work.cc
Merge branch 'master' into force

Conflicts:
	src/mc/work.cc
Merge master.
Get the time spent in the FORCE ordering strategy (PN version).
Fix dead states time display.
Merge branch 'master' into force
Take ahamez/libsdd@728014bcb0 into account.
Merge branch 'master' into force
Remove FORCE strategy on homomorphism (ahamez/libsdd@9d5e84e7e4).
Don't construct the FORCE's hypergraph explicitly (ahamez/libsdd@d67f3924c7).