No access to solver MiniSat with UnSat Core via JNI.

[GoogleCodeExporter]

We can't access the solver MiniSat with UnSat Core via JNI.

Original issue reported on code.google.com by rdrue...@gmail.com on 31 Jan 2008 at 11:02

[GoogleCodeExporter]

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

[GoogleCodeExporter]

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

[GoogleCodeExporter]

Original comment by rdrue...@gmail.com on 13 Mar 2008 at 9:46

• Changed state: Fixed