Winning Solver of PACE Challenge 2019 Track A
Primary LanguageTeXGNU General Public License v2.0GPL-2.0