updated available metrics to integer values
Merge remote-tracking branch 'upstream/master'
new version
Merge remote-tracking branch 'upstream/master'
Merge remote-tracking branch 'upstream/master'
Merge remote-tracking branch 'upstream/master'
* bug fix
Merge pull request #2 from deib-polimi/master

availability bug fixing