vega-solver

All sat style yet another theorem solver


Keywords
solver
License
MIT
Install
pip install vega-solver==0.1.3

Documentation

vega is theorem solver to find all satisfiable Values.

Please see docs/README.md for more information