Commit Graph

3 Commits

Author SHA1 Message Date
Raúl Marín
93893247cf Update references after updating the ASTFunction hash function 2023-11-27 11:00:27 +01:00
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