Closed GoogleCodeExporter closed 9 years ago
The way A4 is managing this is in SimpleGUI.
1) it is first mandatory to update the java.library.path.
2) a call to System.loadLibrary() must be performed for each JNI solver.
An exception is launched if the solver cannot be retrieved.
Pascal Rapicault from IBM advised me to take a look at the code in
org.eclipse.core.filesystem: it uses native libraries too.
http://dev.eclipse.org/viewcvs/index.cgi/org.eclipse.core.filesystem/
Original comment by daniel.l...@gmail.com
on 31 Jan 2008 at 2:58
It is up to the user to make available the SAT solvers in the library path.
See http://code.google.com/p/alloy4eclipse/wiki/HowToInstall for details.
Original comment by rdrue...@gmail.com
on 13 Mar 2008 at 9:46
Original comment by rdrue...@gmail.com
on 13 Mar 2008 at 9:46
Original issue reported on code.google.com by
rdrue...@gmail.com
on 31 Jan 2008 at 11:02