adapt library to new type solver (or wait until it gets fixed)
adapt library to new type solver (or wait until it gets fixed)