Boolector

Contact owners and managers

boolector@googlegroups.com

Description

Discussions and questions about the SMT solver Boolector. Boolector supports bit-vectors and arrays, and is available for research and evaluation purposes in an academic environment. See http://fmv.jku.at/boolector for more details.

Language

English (United States)

Privacy

Anyone on the web

can see group

Group members

can view members

Anyone on the web

can view conversations

Anyone on the web

can post

Anyone on the web

can join group