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 .

English

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