Dear Yices Users, I am wondering whether there is a 64-bit version of libYicesLite.so which is used to access Yices in Java, i.e. the one related to "yicesapijava.jar". Please let me know if you have any information. Thanks in advance! Best, Guodong