math/yices 2.7.0_2 FreeBSD
SMT solver
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- License
- GPLv3+
- Categories
- math
- Package size
- 1644.3 KiB, 12434.3 KiB installed
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.
In the other systems
| System | Port | Version |
|---|---|---|
| FreeBSD | math/yices | 2.7.0_2 |
| DragonFly | math/yices | 2.6.5 |
| MidnightBSD | math/yices | 2.7.0_2 |
Install
Binary package:
pkg install yicesFrom the ports tree:
cd /usr/ports/math/yices/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= yices>0:math/yices
LIB_DEPENDS= libyices.so:math/yicesPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 2.7.0_2 | 2.7.0_2 | 2.6.4 | 2.6.5 | 2.7.0_2 |
| FreeBSD:14:quarterly | 2.7.0_2 | 2.7.0_2 | n/a | 2.6.5 | 2.7.0_2 |
| FreeBSD:15:latest | 2.7.0_2 | 2.7.0_2 | n/a | 2.6.5 | 2.6.5 |
| FreeBSD:15:quarterly | 2.7.0_2 | 2.7.0_2 | n/a | n/a | n/a |
| FreeBSD:16:latest | 2.7.0_2 | 2.7.0_2 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Build 1
gperf: devel/gperf
Library 1
libgmp.so: math/gmp
The full lists below include those, and their dependencies in turn.
Build dependencies 10
Run dependencies 2
Configuration
No options to configure.
- USES
- autoreconf compiler:c11 gmake localbase
- Service scripts
- none
Files
pkg-plist 13
- bin/yices
- bin/yices_sat
- bin/yices_sat_new
- bin/yices_smt
- bin/yices_smt2
- bin/yices_smtcomp
- include/yices.h
- include/yices_exit_codes.h
- include/yices_limits.h
- include/yices_types.h
- lib/libyices.a
- lib/libyices.so
- lib/libyices.so.2.7
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| SRI-CSL-yices2-yices-2.7.0_GH0.tar.gz | 1.0461165e+07 | 584db72abf6643927b2c3ba98ff793f602216b452b8ff2f34a8851d35904804a |
Commit history 0
No commits in the history this site was built from.