| Package | Summary | Distribution | Download |
| stp-2.3.4+20240918-1.5.x86_64.html | Constraint Solver | OpenSuSE Tumbleweed for x86_64 | stp-2.3.4+20240918-1.5.x86_64.rpm |
| stp-2.3.4+20240611-bp161.1.2.x86_64.html | Constraint Solver | OpenSuSE Leap 16.1 for x86_64 | stp-2.3.4+20240611-bp161.1.2.x86_64.rpm |
| stp-2.3.4+20240611-bp160.1.3.x86_64.html | Constraint Solver | OpenSuSE Leap 16.0 for x86_64 | stp-2.3.4+20240611-bp160.1.3.x86_64.rpm |
| stp-2.3.4-17.fc45.x86_64.html | Constraint solver/decision procedure | Fedora Rawhide for x86_64 | stp-2.3.4-17.fc45.x86_64.rpm |
| stp-2.3.4-15.fc44.x86_64.html | Constraint solver/decision procedure | Fedora 44 updates for x86_64 | stp-2.3.4-15.fc44.x86_64.rpm |
| stp-2.3.4-14.fc44.x86_64.html | Constraint solver/decision procedure | Fedora 44 for x86_64 | stp-2.3.4-14.fc44.x86_64.rpm |
| stp-2.3.4-12.fc43.x86_64.html | Constraint solver/decision procedure | Fedora 43 testing updates for x86_64 | stp-2.3.4-12.fc43.x86_64.rpm |
| stp-2.3.4-12.fc43.x86_64.html | Constraint solver/decision procedure | Fedora 43 for x86_64 | stp-2.3.4-12.fc43.x86_64.rpm |
| stp-2.3.3+20220915-bp156.1.6.x86_64.html | Constraint Solver | OpenSuSE Leap 15.6 for x86_64 | stp-2.3.3+20220915-bp156.1.6.x86_64.rpm |
| stp-2.3.3+20220722-bp155.1.7.x86_64.html | Constraint Solver | OpenSuSE Leap 15.5 for x86_64 | stp-2.3.3+20220722-bp155.1.7.x86_64.rpm |