vega is theorem solver to find all satisfiable Values. Please see docs/README.md for more information