z3-solver

Community

an efficient SMT solver library

Versions

To install this package, run one of the following:

$conda install danielbok::z3-solver

Version

1 / 8 versions selected

Downloads (Last 6 months): 0

Summary

an efficient SMT solver library

Last Updated

Feb 11, 2020 at 16:32

License

MIT

Supported Platforms

win-64

Home