Bobot/help simplex

François Bobotrequested to merge
bobot/help_simplex into master

Fixe #30 (closed) and removing the need to propagate ceil and floor in simplex. Use simulation of FM (IJCAR12) for implied equalities

Edited by François Bobot

Merge request reports