File:SMT dropdown.png

From Event-B
Jump to: navigation, search
SMT_dropdown.png(731 × 185 pixels, file size: 24 KB, MIME type: image/png)

Shows all available SMT solver configurations

File history

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

Date/TimeThumbnailDimensionsUserComment
current16:31, 14 March 2014Thumbnail for version as of 16:31, 14 March 2014731 × 185 (24 KB)Nicolas (talk | contribs)Icons instead of text
17:11, 6 March 2014Thumbnail for version as of 17:11, 6 March 2014666 × 193 (24 KB)Nicolas (talk | contribs)Shows all available SMT solver configurations
  • You cannot overwrite this file.

The following page links to this file:

Metadata