Switch Choco to Z3; 32bit environment;