SMT Tools
Contact owners and managers
smt-tools@googlegroups.com
Description
This group is a discussion platform for a set of Satisfiability Modulo Theories (SMT) Tools, which can be found at http://fmv.jku.at/software/index.html#smttools
It should be used for questions, comments, bug reports, etc. Moreover, this group is used to announce new releases.
It should be used for questions, comments, bug reports, etc. Moreover, this group is used to announce new releases.
Language
German (Austria)
Privacy
Anyone on the web
can see group
Group members
can view members
Anyone on the web
can view conversations
Group members
can post and will be held for moderation
Anyone on the web
can join group