You are here:

Package: stp

Upstream info
Summary: Constraint solver/decision procedure
Description:
URL: https://stp.github.io/
Owner: jjames (jjames)
Bugzilla: Active bugs
Pagure: https://src.fedoraproject.org/rpms/stp
Koschei: https://koschei.fedoraproject.org/package/stp
Packages available in Fedora Repositories
Branch Repository Version-Release Owner Co-maintainers
devel 2.3.4-12.fc44
f43 testing 2.3.4-12.fc43
  base 2.3.4-12.fc43
f42 updates 2.3.4-7.fc42
  base 2.3.4-6.fc42
f41 base 2.3.4-3.fc41
f40 updates 2.3.4-1.fc40
  base 2.3.3-31.fc40
f39 base 2.3.3-27.fc39
f38 base 2.3.3-24.fc38
f37 base 2.3.3-22.fc37
f36 base 2.3.3-19.fc36
f35 base 2.3.3-18.fc35
f34 updates 2.3.3-16.fc34
  base 2.3.3-14.fc34
f33 updates 2.3.3-16.fc33
  base 2.3.3-10.fc33
f32 updates 2.3.3-6.fc32
  base 2.3.3-5.fc32
f31 base 2.3.3-2.fc31
f30 updates 2.3.3-1.fc30
  base 2.3.1-5.20181115git.d7d6530.fc30
f29 base 2.3.1-3.20180607git.c68788e.fc29
f28 updates 2.3.1-1.20180607git.c68788e.fc28
  base 2.1.2-12.20171116git.b67aa83.fc28
f27 base 2.1.2-8.20151122git.3785148.fc27
f26 base 2.1.2-5.20151122git.3785148.fc26
f25 updates 2.1.2-4.20151122git.3785148.fc25
  base 2.1.2-3.20151122git.3785148.fc25
f24 updates 2.1.2-4.20151122git.3785148.fc24
  base 2.1.2-2.20151122git.3785148.fc24
f23 base 2.1.0-1.20150904git.5405af4.fc23
f22 base 0.1-26.20140619git.44de620.fc22
f21 base 0.1-24.20140619git.44de620.fc21
f20 updates 0.1-23.20140619git.44de620.fc20
  base 0.1-18.20130223svn.fc20
f19 base 0.1-14.20130223svn.fc19
f18 base 0.1-12.20121002svn.fc18
f17 base 0.1-9.20120109svn.fc17
f16 updates 0.1-7.20111130svn.fc16
  base 0.1-6.fc15
f15 base 0.1-6.fc15
f14 base 0.1-5.fc12
F-13 base 0.1-5.fc12
F-12 base 0.1-5.fc12
F-11 base 0.1-4.fc11
F-10 updates 0.1-4.fc10