Information for yices

Versions

• 2.6.2 (4)
• 2.6.1 (2)
• 2.6.0
• 2.5.4
• 2.3.0

Package names

• math/yices
• mingw-w64-i686-yices
• mingw-w64-x86_64-yices
• yices (4)

Repositories

• ALT Linux p9
• ALT Sisyphus
• Arch
• DPorts
• Fedora 27
• Fedora 28
• Fedora 29
• Fedora 30
• Fedora 31
• Fedora 32
• Fedora 33
• Fedora 34
• Fedora Rawhide
• FreeBSD Ports
• Manjaro Stable
• Manjaro Testing
• Manjaro Unstable
• MSYS2 mingw
• nixpkgs stable
• nixpkgs unstable
• Parabola

Categories

• Sciences/Mathematics
• Unspecified
• math

Licenses

• GPL
• GPL-3.0
• GPLv3
• GPLv3+
• GPLv3+ and BSD

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
• yuri@freebsd.org

• Group email

Homepage links

• http://yices.csl.sri.com/^46(archive) (3)
• https://yices.csl.sri.com/^46(archive) (2)

All package recipes

• https://cgit.freebsd.org/ports/plain/math/yices/Makefile⁴⁶
• https://git.archlinux.org/svntogit/community.git/tree/trunk/PKGBUILD?h=packages/yices⁴⁶
• 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/master/pkgs/applications/science/logic/yices/default.nix#L38⁴⁶
• https://github.com/NixOS/nixpkgs/blob/release-21.05/pkgs/applications/science/logic/yices/default.nix#L38⁴⁶
• https://packages.altlinux.org/en/p9/specfiles/yices⁴⁶
• https://packages.altlinux.org/en/sisyphus/specfiles/yices⁴⁶
• 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/rawhide/f/yices.spec⁴⁶

Build logs

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