MiniSat
Contact owners and managers
minisat@googlegroups.com
Description
Questions and discussions about the open source SAT solver MiniSat.
Language
English (Sweden)
Privacy
Anyone on the web
can see group
Group owners and managers
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