Návrhy na SAT solver projekt

Máte nápad na SAT solver projekt, který není v seznamu? Sem s ním. Pořadí eviduje systém, k projektům dodávám 'maximální počet bodů' v případech, kdy mi navržený projekt přijde jednodušší než většina 'v oficiálním seznamu'.