Hi, Has there been any progress on porting Meroon to Blackhole since the previous discussion on these lists [1]. I would be interested in porting it, but maybe there has already been done some work in that direction? Kind regards, Ian [1] https://mercure.iro.umontreal.ca/pipermail/gambit-list/2010-March/004353.html