http://www.mrg.dist.unige.it/qbflib