Versions Packages Information History Related Badges Report

Packages for yices

36 package(s) known

yices

2.3.0 (2.3.0-alt3)

yices

2.3.0 (2.3.0-alt4)

yices

2.3.0 (2.3.0-alt4)
Arch
community

yices

2.6.4 (2.6.4-1)

yices

2.6.4 (2.6.4-1.0)

yices

2.6.3 (2.6.3-1.0)

yices

2.6.4 (2.6.4-1.0)

yices

2.6.4 (2.6.4-1)

yices

2.6.4 (2.6.4-1)

math/yices

2.6.4
Fedora 27
updates

yices

2.5.4 (2.5.4-2.fc27)
Fedora 28
release

yices

2.5.4 (2.5.4-3.fc28)
Fedora 29
updates

yices

2.6.1 (2.6.1-1.fc29)
Fedora 29
release

yices

2.6.0 (2.6.0-2.fc29)
Fedora 30
release

yices

2.6.1 (2.6.1-2.fc30)
Fedora 31
release

yices

2.6.1 (2.6.1-3.fc31)
Fedora 32
release

yices

2.6.2 (2.6.2-1.fc32)
Fedora 32
updates

yices

2.6.2 (2.6.2-3.fc32)
Fedora 33
release

yices

2.6.2 (2.6.2-5.fc33)
Fedora 33
updates

yices

2.6.2 (2.6.2-6.fc33)
Fedora 34
release

yices

2.6.2 (2.6.2-7.fc34)
Fedora 35
updates

yices

2.6.4 (2.6.4-1.fc35)
Fedora 35
release

yices

2.6.2 (2.6.2-8.fc35)
Fedora 36
release

yices

2.6.4 (2.6.4-3.fc36)
Fedora Rawhide
development

yices

2.6.4 (2.6.4-4.fc37)
Manjaro Stable
community

yices

2.6.4 (2.6.4-1)
Manjaro Testing
community

yices

2.6.4 (2.6.4-1)

yices

2.6.4 (2.6.4-1)

mingw-w64-i686-yices

2.6.2 (2.6.2-1)

mingw-w64-x86_64-yices

2.6.2 (2.6.2-1)

yices

2.6.1

yices

2.6.2

yices

2.6.4

yices

2.6.4
Parabola
community

yices

2.6.4 (2.6.4-1)