chore(scripts): update to a working state by tutorial (#4415)
util: Add constant-solver (#1924)* bump utility and difftest