fixed in git repo: https://github.com/cvut/JCOP/commit/00195ac910c308a6ce40657b7...
Bad getValue in SATFitness