Groups
Conversations
All groups and messages
Send feedback to Google
Help
Training
Sign in
Groups
SMT-LIB
Conversations
Labels
About
SMT-LIB
Contact owners and managers
smt-lib@googlegroups.com
Description
This is a technical discussion forum for the SMT-LIB
initiative. More information on SMT-LIB can be found
at www.smt-lib.org .
Language
English
Privacy
Anyone on the web
can see group
Group owners
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 ask to join group