Change History for Plugins/clips-smt

Version Date Author Comment
4 15 months ibongartz Mention that we only offer functionaly for the RCLL domain.
3 15 months ibongartz Add install command for z3 and brief description about the plugin.
2 15 months ibongartz Extend wikientry by Requires, Provides, Compilation and Runtime …
1 15 months ibongartz First version of plugin clips-smt description.