[Choco-users] use of choco in jpf

[Corina P. <pc...@em...>]

hi
this is to let you know that we are using choco in an extension of jpf 
tool (see http://javapathfinder.sourceforge.net/)
we are mostly interested in constraints for reals.
regards
corina