Description
This group is dedicated to publishing the cvc5 newsletter. Updates are posted up to once a month. The newsletter includes links to the most recent blog post, recently published papers, and information about new features and releases. Only cvc5 can post to this group.