Package python-pysmt

Welcome to the future! This package does not support Python 2 at all. All is good in the world.


See python-pysmt in the Fedora Pagure, or go directly to the corresponding spec file.

RPMs

  • python-pysmt-0.8.0-2.fc33.src
    • python3-devel
    • python3-devel = 3.8.3-1.fc33
  • python3-pysmt-0.8.0-2.fc33.noarch
    • /usr/bin/python3
    • python(abi) = 3.8

Maintainers