DeltaSMT 0.2
6 views
Skip to first unread message
Robert Brummayer
Oct 1, 2009, 3:14:28 AM10/1/09
to SMT Tools
A new version of DeltaSMT is available. The parser supports additional
attributes (thanks to Alberto Griggio). See the NEWS file for an
overview of the recent changes.
attributes (thanks to Alberto Griggio). See the NEWS file for an
overview of the recent changes.
Reply all
Reply to author
Forward
0 new messages