pysmt

Community

A library for SMT Formulae manipulation and solving

Versions

To install this package, run one of the following:

$conda install rhishi::pysmt

Version

1 / 8 versions selected

Downloads (Last 6 months): 0

Summary

A library for SMT Formulae manipulation and solving

Last Updated

Apr 8, 2015 at 22:42

License

APACHE

Total Downloads

166

Supported Platforms

win-32

macOS-64

Unsupported Platforms

win-64 Last supported version: 0.2.4