Mikhailpinsky
загружена новая версия «Файл:IND GRAPH.png»
16:19
20:26
Граф, построенный для формулы в 3-SAT
18:48
+63
