The jSMTLIB Eclipse Update Site

This is the Eclipse plug-in update site for the jSMTLIB Eclipse plug-in.

Within Eclipse (4.2 or later) use the Install New Software wizard to add a new site: use the URL of this page, and a title of your choice, such as "jSMTLIB".

To run this plugin you must be running Eclipse from an OpenJDK build of Java 1.7. See the instructions here.

This is currently a preliminary, alpha release; it is not yet portable across platforms --- it crashes on some.