BSD Portsmath/yices 2.7.0_2 MidnightBSD
SMT solver
- System
- MidnightBSD
- Repository
- mports
- Maintainer
- [email protected]
- License
- gpl3+
- Categories
- math
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 |
|---|---|---|
| MidnightBSD | math/yices | 2.7.0_2 |
| FreeBSD | math/yices | 2.7.0_2 |
| DragonFly | math/yices | 2.6.5 |
| GhostBSD | math/yices | 2.7.0_2 |
Install
Binary package:
mport install yicesFrom mports:
cd /usr/mports/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/yicesDependencies
As this port's Makefile names them.
Build 1
gperf: devel/gperf
Library 1
libgmp.so: math/gmp
Build dependencies 2
Run dependencies 1
No port depends on this one.
Configuration
No options to configure.
- USES
- autoreconf compiler:c11 gmake localbase
- Service scripts
- none
Files
pkg-plist 14
- 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
- lib/libyices.so.2.7.0
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| SRI-CSL-yices2-yices-2.7.0_GH0.tar.gz | 1.0461165e+07 | 584db72abf6643927b2c3ba98ff793f602216b452b8ff2f34a8851d35904804a |