Max-SATソルバopen-wboのバージョン1.3.0が公開されたとか。 http://sat.inesc-id.pt/open-wbo/