Groups
Sign in
Groups
kconfig-sat
Conversations
About
Send feedback
Help
kconfig-sat
Contact owners and managers
kconfig-sat@googlegroups.com
Description
Folks who are interested in the upstreaming of a SAT solver into Linux for use with Kconfig. For more details:
http://kernelnewbies.org/KernelProjects/kconfig-sat
Language
English
Privacy
Anyone on the web
can see group
Group owners and managers
can view members
Anyone on the web
can view conversations
Anyone on the web
can post
Anyone on the web
can join group