(TranslateAlloyToKodkod.java:390)Caused by: java.lang.UnsatisfiedLinkError: no minisatproverx5 in java.library.pathat java.lang.ClassLoader.loadLibrary(Unkno
javac PlutoMake.java -cp java-json.jarException in thread "main" java.lang.NoClassDefFoundError: org/json/JSONException$1.run(URLClassLoader.java:217)
a