http://www.cs.lth.se/~pierre/ilppp
