Commit Graph

2 Commits

Author SHA1 Message Date
Anton Popov
69559a4fd9 fix convertion to CNF 2021-11-18 17:54:07 +03:00
Nikita Vasilev
af55e75e8d fix CNF 2021-05-19 22:07:27 +03:00