Groups
Conversations
All groups and messages
Send feedback to Google
Help
Training
Sign in
Groups
Boolector
Conversations
About
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