Minor Updates to the FACPL plug-in

A new version of the FACPL Eclipse plugin has been released. Minor typos on the UI and on the SMT-LIB code generation have been removed.

To update your FACPL Plugin use the following Eclipse Update Site


This entry was posted in News, Tool. Bookmark the permalink.