Hi, Is there any plan to have a Java version of the tools in Coin-OR? Do you have any plan to extend COIN to other research areas? (SATISFIABILITY for instance?) Daniel -- Daniel Le Berre mailto:leberre at cril.univ-artois.fr Maitre de Conferences, CRIL, Universite d'Artois http://www.cril.univ-artois.fr/~leberre