Change History for Plugins/clips-smt

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