vega-solver (pypi): All sat style yet another theorem solver
Keywords: solver