Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help

The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...

The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.

System Arch

RPM resource stp

STP is an efficient decision procedure for the validity (or satisfiability) of formulas from a quantifier-free many-sorted theory of fixed-width bitvectors and (non-extensional) one-dimensional arrays. The functions in STP's input language include concatenation, extraction, left/right shift, sign-extension, unary minus, addition, multiplication, (signed) modulo/division, bitwise Boolean operations, if-then-else terms, and array reads and writes. The predicates in the language include equality and (signed) comparators between bitvector terms.

Found 2 sites for stp

Found 55 RPM for stp

PackageSummaryDistributionDownload
stp-2.3.3+20231214-1.3.ppc64le.htmlConstraint SolverOpenSuSE Ports Tumbleweed for ppc64lestp-2.3.3+20231214-1.3.ppc64le.rpm
stp-2.3.3+20231214-1.3.s390x.htmlConstraint SolverOpenSuSE Ports Tumbleweed for s390xstp-2.3.3+20231214-1.3.s390x.rpm
stp-2.3.3+20231214-1.3.x86_64.htmlConstraint SolverOpenSuSE Tumbleweed for x86_64stp-2.3.3+20231214-1.3.x86_64.rpm
stp-2.3.3+20231214-1.2.aarch64.htmlConstraint SolverOpenSuSE Ports Tumbleweed for aarch64stp-2.3.3+20231214-1.2.aarch64.rpm
stp-2.3.3+20231214-1.2.armv6hl.htmlConstraint SolverOpenSuSE Ports Tumbleweed for armv6hlstp-2.3.3+20231214-1.2.armv6hl.rpm
stp-2.3.3+20231214-1.2.armv7hl.htmlConstraint SolverOpenSuSE Ports Tumbleweed for armv7hlstp-2.3.3+20231214-1.2.armv7hl.rpm
stp-2.3.3+20231214-1.2.riscv64.htmlConstraint SolverOpenSuSE Ports Tumbleweed for riscv64stp-2.3.3+20231214-1.2.riscv64.rpm
stp-2.3.3+20231214-1.1.i586.htmlConstraint SolverOpenSuSE Ports Tumbleweed for i586stp-2.3.3+20231214-1.1.i586.rpm
stp-2.3.3+20231214-1.1.ppc64le.htmlConstraint SolverOpenSuSE Ports Tumbleweed for ppc64lestp-2.3.3+20231214-1.1.ppc64le.rpm
stp-2.3.3+20220915-bp156.1.5.aarch64.htmlConstraint SolverOpenSuSE Leap 15.6 for aarch64stp-2.3.3+20220915-bp156.1.5.aarch64.rpm
stp-2.3.3+20220915-bp156.1.5.ppc64le.htmlConstraint SolverOpenSuSE Leap 15.6 for ppc64lestp-2.3.3+20220915-bp156.1.5.ppc64le.rpm
stp-2.3.3+20220915-bp156.1.5.s390x.htmlConstraint SolverOpenSuSE Leap 15.6 for s390xstp-2.3.3+20220915-bp156.1.5.s390x.rpm
stp-2.3.3+20220915-bp156.1.5.x86_64.htmlConstraint SolverOpenSuSE Leap 15.6 for x86_64stp-2.3.3+20220915-bp156.1.5.x86_64.rpm
stp-2.3.3+20220722-bp155.1.7.aarch64.htmlConstraint SolverOpenSuSE Leap 15.5 for aarch64stp-2.3.3+20220722-bp155.1.7.aarch64.rpm
stp-2.3.3+20220722-bp155.1.7.ppc64le.htmlConstraint SolverOpenSuSE Leap 15.5 for ppc64lestp-2.3.3+20220722-bp155.1.7.ppc64le.rpm
stp-2.3.3+20220722-bp155.1.7.s390x.htmlConstraint SolverOpenSuSE Leap 15.5 for s390xstp-2.3.3+20220722-bp155.1.7.s390x.rpm
stp-2.3.3+20220722-bp155.1.7.x86_64.htmlConstraint SolverOpenSuSE Leap 15.5 for x86_64stp-2.3.3+20220722-bp155.1.7.x86_64.rpm
stp-2.3.3+20220722-bp155.1.1.armv7hl.htmlConstraint SolverOpenSuSE Ports Leap 15.5 for armv7hlstp-2.3.3+20220722-bp155.1.1.armv7hl.rpm
stp-2.3.3+20210104-bp154.1.16.aarch64.htmlConstraint SolverOpenSuSE Leap 15.4 for aarch64stp-2.3.3+20210104-bp154.1.16.aarch64.rpm
stp-2.3.3+20210104-bp154.1.16.ppc64le.htmlConstraint SolverOpenSuSE Leap 15.4 for ppc64lestp-2.3.3+20210104-bp154.1.16.ppc64le.rpm
stp-2.3.3+20210104-bp154.1.16.s390x.htmlConstraint SolverOpenSuSE Leap 15.4 for s390xstp-2.3.3+20210104-bp154.1.16.s390x.rpm
stp-2.3.3+20210104-bp154.1.16.x86_64.htmlConstraint SolverOpenSuSE Leap 15.4 for x86_64stp-2.3.3+20210104-bp154.1.16.x86_64.rpm
stp-2.3.3+20210104-bp154.1.1.armv7hl.htmlConstraint SolverOpenSuSE Ports Leap 15.4 for armv7hlstp-2.3.3+20210104-bp154.1.1.armv7hl.rpm
stp-2.3.3-31.fc40.aarch64.htmlConstraint solver/decision procedureFedora Rawhide for aarch64stp-2.3.3-31.fc40.aarch64.rpm
stp-2.3.3-31.fc40.aarch64.htmlConstraint solver/decision procedureFedora 40 for aarch64stp-2.3.3-31.fc40.aarch64.rpm
stp-2.3.3-31.fc40.ppc64le.htmlConstraint solver/decision procedureFedora Rawhide for ppc64lestp-2.3.3-31.fc40.ppc64le.rpm
stp-2.3.3-31.fc40.ppc64le.htmlConstraint solver/decision procedureFedora 40 for ppc64lestp-2.3.3-31.fc40.ppc64le.rpm
stp-2.3.3-31.fc40.s390x.htmlConstraint solver/decision procedureFedora Rawhide for s390xstp-2.3.3-31.fc40.s390x.rpm
stp-2.3.3-31.fc40.s390x.htmlConstraint solver/decision procedureFedora 40 for s390xstp-2.3.3-31.fc40.s390x.rpm
stp-2.3.3-31.fc40.x86_64.htmlConstraint solver/decision procedureFedora Rawhide for x86_64stp-2.3.3-31.fc40.x86_64.rpm
stp-2.3.3-31.fc40.x86_64.htmlConstraint solver/decision procedureFedora 40 for x86_64stp-2.3.3-31.fc40.x86_64.rpm
stp-2.3.3-27.fc39.aarch64.htmlConstraint solver/decision procedureFedora 39 for aarch64stp-2.3.3-27.fc39.aarch64.rpm
stp-2.3.3-27.fc39.i686.htmlConstraint solver/decision procedureFedora 39 for x86_64stp-2.3.3-27.fc39.i686.rpm
stp-2.3.3-27.fc39.ppc64le.htmlConstraint solver/decision procedureFedora 39 for ppc64lestp-2.3.3-27.fc39.ppc64le.rpm
stp-2.3.3-27.fc39.s390x.htmlConstraint solver/decision procedureFedora 39 for s390xstp-2.3.3-27.fc39.s390x.rpm
stp-2.3.3-27.fc39.x86_64.htmlConstraint solver/decision procedureFedora 39 for x86_64stp-2.3.3-27.fc39.x86_64.rpm
stp-2.3.3-24.fc38.aarch64.htmlConstraint solver/decision procedureFedora 38 for aarch64stp-2.3.3-24.fc38.aarch64.rpm
stp-2.3.3-24.fc38.i686.htmlConstraint solver/decision procedureFedora 38 for x86_64stp-2.3.3-24.fc38.i686.rpm
stp-2.3.3-24.fc38.ppc64le.htmlConstraint solver/decision procedureFedora 38 for ppc64lestp-2.3.3-24.fc38.ppc64le.rpm
stp-2.3.3-24.fc38.s390x.htmlConstraint solver/decision procedureFedora 38 for s390xstp-2.3.3-24.fc38.s390x.rpm
stp-2.3.3-24.fc38.x86_64.htmlConstraint solver/decision procedureFedora 38 for x86_64stp-2.3.3-24.fc38.x86_64.rpm
stp-2.3.3-22.fc37.aarch64.htmlConstraint solver/decision procedureFedora 37 for aarch64stp-2.3.3-22.fc37.aarch64.rpm
stp-2.3.3-22.fc37.i686.htmlConstraint solver/decision procedureFedora 37 for x86_64stp-2.3.3-22.fc37.i686.rpm
stp-2.3.3-22.fc37.ppc64le.htmlConstraint solver/decision procedureFedora 37 for ppc64lestp-2.3.3-22.fc37.ppc64le.rpm
stp-2.3.3-22.fc37.s390x.htmlConstraint solver/decision procedureFedora 37 for s390xstp-2.3.3-22.fc37.s390x.rpm
stp-2.3.3-22.fc37.x86_64.htmlConstraint solver/decision procedureFedora 37 for x86_64stp-2.3.3-22.fc37.x86_64.rpm
stp-2.3.1+20171008-bp153.1.17.aarch64.htmlConstraint SolverOpenSuSE Leap 15.3 for aarch64stp-2.3.1+20171008-bp153.1.17.aarch64.rpm
stp-2.3.1+20171008-bp153.1.17.ppc64le.htmlConstraint SolverOpenSuSE Leap 15.3 for ppc64lestp-2.3.1+20171008-bp153.1.17.ppc64le.rpm
stp-2.3.1+20171008-bp153.1.17.s390x.htmlConstraint SolverOpenSuSE Leap 15.3 for s390xstp-2.3.1+20171008-bp153.1.17.s390x.rpm
stp-2.3.1+20171008-bp153.1.17.x86_64.htmlConstraint SolverOpenSuSE Leap 15.3 for x86_64stp-2.3.1+20171008-bp153.1.17.x86_64.rpm
stp-2.3.1+20171008-bp153.1.1.armv7hl.htmlConstraint SolverOpenSuSE Ports Leap 15.3 for armv7hlstp-2.3.1+20171008-bp153.1.1.armv7hl.rpm
stp-2.3.1+20171008-lp152.3.12.ppc64le.htmlConstraint SolverOpenSuSE Ports Leap 15.2 for ppc64lestp-2.3.1+20171008-lp152.3.12.ppc64le.rpm
stp-2.3.1+20171008-lp152.3.12.x86_64.htmlConstraint SolverOpenSuSE Leap 15.2 for x86_64stp-2.3.1+20171008-lp152.3.12.x86_64.rpm
stp-2.3.1+20171008-lp152.3.3.aarch64.htmlConstraint SolverOpenSuSE Ports Leap 15.2 for aarch64stp-2.3.1+20171008-lp152.3.3.aarch64.rpm
stp-2.3.1+20171008-lp152.3.3.armv7hl.htmlConstraint SolverOpenSuSE Ports Leap 15.2 for armv7hlstp-2.3.1+20171008-lp152.3.3.armv7hl.rpm

Generated by rpm2html 1.6

Fabrice Bellet