Print logs of conversions

kmyk-jikka / Jikka

an automated solver for problems of competitive programming

https://kmyk-jikka.github.io/Jikka/playground

Apache License 2.0

152 stars 11 forks source link

Open kmyk opened 2 years ago

kmyk commented 2 years ago

Add an option to print logs of used rewrite rules and other conversions, like GHC's -ddump-rule-rewrites.