test and debug FastImpliesEq anf FastIFFEq
Merge branch 'develop' of github.com:fhermeni/btrplace-solver into develop
Merge pull request #47 from sofdem/develop

test and debug FastImpliesEq and FastIFFEq