File:SMT Solvers Configurations.png

From Event-B
Jump to: navigation, search
Original file(870 × 553 pixels, file size: 88 KB, MIME type: image/png)

SMT Solvers Plug-in Configurations Page

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current16:07, 14 January 2016Thumbnail for version as of 16:07, 14 January 2016870 × 553 (88 KB)Nicolas (talk | contribs)SMT 1.3: add CVC4 and Z3
09:33, 16 May 2013Thumbnail for version as of 09:33, 16 May 2013923 × 556 (65 KB)Tommy (talk | contribs)SMT Solvers Plug-in Configurations Page
  • You cannot overwrite this file.

The following page links to this file:

Metadata