Information for yices

Versions

• 2.6.4 (4)
• 2.6.3
• 2.6.2 (3)
• 2.6.1 (2)
• 2.6.0
• 2.5.4
• 2.3.0

Package names

• mingw-w64-yices
• yices (5)

Repositories

• ALT Linux p9
• ALT Linux p10
• ALT Sisyphus
• Arch
• Arch Linux 32 i486
• Arch Linux 32 i686
• Arch Linux 32 pentium4
• Arch Linux ARM aarch64
• Arch Linux ARM armv7h
• DPorts
• Fedora 27
• Fedora 28
• Fedora 29
• Fedora 30
• Fedora 31
• Fedora 32
• Fedora 33
• Fedora 34
• Fedora 35
• Fedora 36
• Fedora Rawhide
• FreeBSD Ports
• Manjaro Stable
• Manjaro Testing
• Manjaro Unstable
• MSYS2 mingw
• nixpkgs stable 21.05
• nixpkgs stable 21.11
• nixpkgs stable 22.05
• nixpkgs unstable
• Parabola

Categories

• Sciences/Mathematics
• Unspecified
• math

Licenses

• GPL
• GPL-3.0
• GPLv3
• GPLv3+
• GPLv3+ and BSD
• Noncommercial use only

Summaries

• A high-performance theorem prover and SMT solver
• SMT solver (2)
• The Yices SMT Solver (2)
• Yices is a fast SMT solver with C and Python bindings.

Maintainers

• aseipp@pobox.com
• real@altlinux.org
• yuri@freebsd.org

• Group email

Homepage links

• http://yices.csl.sri.com/⁴⁶ (4)
• https://yices.csl.sri.com/⁴⁶ (2)

All package recipes

• https://archlinuxarm.org/packages/aarch64/yices/files/PKGBUILD⁴⁶
• https://archlinuxarm.org/packages/armv7h/yices/files/PKGBUILD⁴⁶
• https://cgit.freebsd.org/ports/plain/math/yices/Makefile⁴⁶
• https://github.com/archlinux/svntogit-community/blob/packages/yices/trunk/PKGBUILD⁴⁶
• https://github.com/DragonFlyBSD/DPorts/blob/master/math/yices/Makefile⁴⁶
• https://github.com/msys2/MINGW-packages/blob/master/mingw-w64-yices/PKGBUILD⁴⁶
• https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/applications/science/logic/yices/default.nix#L33⁴⁶
• https://github.com/NixOS/nixpkgs/blob/release-21.05/pkgs/applications/science/logic/yices/default.nix#L38⁴⁶
• https://github.com/NixOS/nixpkgs/blob/release-21.11/pkgs/applications/science/logic/yices/default.nix#L33⁴⁶
• https://github.com/NixOS/nixpkgs/blob/release-22.05/pkgs/applications/science/logic/yices/default.nix#L33⁴⁶
• https://packages.altlinux.org/en/p10/srpms/yices/specfiles/⁴⁶
• https://packages.altlinux.org/en/p9/srpms/yices/specfiles/⁴⁶
• https://packages.altlinux.org/en/sisyphus/srpms/yices/specfiles/⁴⁶
• https://src.fedoraproject.org/rpms/yices/blob/f27/f/yices.spec⁴⁶
• https://src.fedoraproject.org/rpms/yices/blob/f28/f/yices.spec⁴⁶
• https://src.fedoraproject.org/rpms/yices/blob/f29/f/yices.spec⁴⁶
• https://src.fedoraproject.org/rpms/yices/blob/f30/f/yices.spec⁴⁶
• https://src.fedoraproject.org/rpms/yices/blob/f31/f/yices.spec⁴⁶
• https://src.fedoraproject.org/rpms/yices/blob/f32/f/yices.spec⁴⁶
• https://src.fedoraproject.org/rpms/yices/blob/f33/f/yices.spec⁴⁶
• https://src.fedoraproject.org/rpms/yices/blob/f34/f/yices.spec⁴⁶
• https://src.fedoraproject.org/rpms/yices/blob/f35/f/yices.spec⁴⁶
• https://src.fedoraproject.org/rpms/yices/blob/f36/f/yices.spec⁴⁶
• https://src.fedoraproject.org/rpms/yices/blob/rawhide/f/yices.spec⁴⁶

Build logs

• https://sting.dragonflybsd.org/dports/logs/math___yices.log⁴⁶