Port details on branch 2022Q3 |
- yices SMT solver
- 2.6.4 math =0 2.6.4Version of this port present on the latest quarterly branch.
- Maintainer: yuri@FreeBSD.org
- Port Added: 2018-07-21 08:11:59
- Last Update: 2022-09-07 21:58:51
- Commit Hash: fb16dfe
- License: GPLv3
- WWW:
- https://yices.csl.sri.com/
- Description:
- 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
arithmetic.
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.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/math/yices/ && make install clean
- To add the package, run one of these commands:
- pkg install math/yices
- pkg install yices
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: yices
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1643217873
SHA256 (yices-2.6.4-src.tar.gz) = 533a24e020ecb7d64c03a965d598430d193651e2887e6f46924dec5786db78cb
SIZE (yices-2.6.4-src.tar.gz) = 10186909
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- gperf : devel/gperf
- gmake>=4.3 : devel/gmake
- autoconf>=2.71 : devel/autoconf
- automake>=1.16.5 : devel/automake
- Library dependencies:
-
- libgmp.so : math/gmp
- This port is required by:
- for Run
-
- cad/yosys
Configuration Options:
- No options to configure
- Options name:
- math_yices
- USES:
- autoreconf compiler:c11 gmake localbase
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|