Dear, In SCIP 5.0, when I make scipoptlib, I don't find libpitny library any more, is it expected? Or libpitny was replaced by libpnone? Thanks. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://listserv.zib.de/pipermail/scip/attachments/20180103/8b0dac4d/attachment.html>