yices - SMT solver

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Quarterly i386
Package filename yices-2.6.1.txz
Package name yices
Package version 2.6.1
Package release -
Package architecture i386
Package type txz
Category math
Homepage http://yices.csl.sri.com/
License GPLv3
Maintainer yuri@FreeBSD.org
Download size 957.31 KB
Installed size 7.26 MB
Yices 2 is an SMT solver that decides the satisfiability of formulas containing
uninterpreted function symbols with equality, real and integer arithmetic,
bitvectors, scalar types, and tuples. Yices 2 supports both linear and nonlinear
Yices 2 can process input written in the SMT-LIB notation (both versions 2.0 and
1.2 are supported). Alternatively, you can write specifications using Yices 2's
own specification language, which includes tuples and scalar types. You can also
use Yices 2 as a library in your software.
WWW: http://yices.csl.sri.com/


Package Version Architecture Repository
yices-2.6.1.txz 2.6.1 amd64 FreeBSD Ports Quarterly
yices-2.6.1.txz 2.6.1 amd64 FreeBSD Ports Latest
yices-2.6.1.txz 2.6.1 i386 FreeBSD Ports Latest
yices - - -


Name Value
gmp = 6.1.2_1
libgmp.so.10 -


Name Value
libyices.so.2.6 -


Type URL
Mirror pkg.freebsd.org
Binary Package yices-2.6.1.txz
Source Package math/yices

Install Howto

Install yices txz package:

# pkg install yices

See Also

Package Description
ykclient-2.15.txz Yubico C client library
ykpers-1.19.0.txz Library and tool for personalization of Yubico's YubiKey
ylva-1.5.txz Command line password manager and file encryption program
ympd-1.3.0.txz Stand-alone lightweight web UI controller for audio/musicpd
yoda-1.7.7.txz Particle physics package with classes for data analysis, histogramming
yodl-3.10.00_3.txz Easy to use but powerful document formatting/preparation language
yoono-1.8.43_1.txz Client for Twitter and other social networks
yorick-2.2.04_2.txz Interpreted language for scientific simulations
yoshimi- Sophisticated software synthesizer
yosys-0.8.1116_1.txz Yosys Open SYnthesis Suite
you-get-0.4.1314.txz Dumb downloader that scrapes the web
yould-0.3.7_1.txz Pronounceable word generator
yourls-1.7.4.txz Your Own URL Shortener
youtube_dl-2019.09.12.1.txz Program for downloading videos from YouTube.com
ypsilon- Scheme implementation for real-time applications