stp-users

stp-users@googlegroups.com

Description

This is a mailing list for users of the STP constraint solver. STP is used to solve constraints arising in program testing, cryptography, computer security, program analysis, software and hardware verification, computational biology, aero/astro and artificial intelligence

Language

English (United States)

Privacy

Anyone on the web

can see group

Group members

can view members

Anyone on the web

can view conversations

Group members

can post but posts from new members will be held for moderation

Anyone on the web

can ask to join group