2017 Summer Of Code with Google GranaSAT Proposal 01/23/2017amroldan These ideas were contributed by our developers and worldwide users. Some of them may be more o less rough. If you wish [...]