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-5.fc40.src
    • ✔ python3-devel
    • ✔ python3-devel = 3.12.3-2.fc41
  • python3-pysmt-0.9.5-5.fc40.noarch
    • ✔ /usr/bin/python3
    • ✔ python(abi) = 3.12

Maintainers