search

google-code-export / alloy4eclipse

Automatically exported from code.google.com/p/alloy4eclipse
0 stars 0 forks source link

Find a way to include sat4j when running the solver on a new JVM #100

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
We removed sat4j from A4 jar file. As such, it is no longer available when one 
runs the solver in a separate JVM.

We need to get able to add the jar that ships with Eclipse in the classpath.

Original issue reported on code.google.com by daniel.l...@gmail.com on 19 May 2011 at 2:34

GoogleCodeExporter commented 9 years ago 
Fixed in r986 with the help to Pascal Rapicault :)

Original comment by daniel.l...@gmail.com on 19 May 2011 at 7:11

GoogleCodeExporter commented 9 years ago

Original comment by daniel.l...@gmail.com on 19 May 2011 at 7:11