/u/j/jgross/.rvm/
RVM PATH line found in /afs/csail.mit.edu/u/j/jgross/.bashrc /afs/csail.mit.eduRVM sourcing line found in /afs/csail.mit.edu/u/j/jgross/.bash_profile /
kodkod.engine.fol2sat.Translator.evaluate(Translator.java:104) at edu.mit.csail.sdg.alloy4compiler.translator.A4Solution.rename(A4Solution.java:844)
at edu.mit.csail.sdg.alloy4compiler.translator.A4Solution.rename(
cannot be found: java.lang.UnsatisfiedLinkError: no minisatproverx5 in java.library.path at kodkod.engine.Solver$SolutionIterator.next(Solver.java:1)
at ed
在我看来,我的/etc/apt/sources.list很好:
deb http://debian.csail.mit.edu/debian/ unstable main contrib non-freedeb-src http://debian.csail.mit.edu/debian/ unstable main contrib non-free