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.9.5-7.fc41.src
    • python3-devel
    • python3-devel = 3.13.0-1.fc42
  • python3-pysmt-0.9.5-7.fc41.noarch
    • /usr/bin/python3
    • python(abi) = 3.13

Maintainers