Added realizability command printing method
Latest .jar file for jkind api