SMT-LIB Discussion List

As of April 17, 2006, the technical discussion on SMT-LIB has moved to the following emailing list:

http://www.cs.nyu.edu/mailman/listinfo/smt-lib.

You can follow or join the discussion by subscribing to the list.