BSD Portsmath/yices2 2.7.0 NetBSD
Yices 2 SMT solver
- System
- NetBSD
- Repository
- pkgsrc
- Maintainer
- [email protected]
- Last update
- Commit
6903104406- License
- gnu-gpl-v3
- Categories
- math
- Package size
- 1449.7 KiB, 11844.6 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.
Install
Binary package:
pkgin install yices2From pkgsrc:
cd /usr/pkgsrc/math/yices2 && make install cleanPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | Version |
|---|---|
| NetBSD 10.1 x86_64 | 2.7.0 |
| NetBSD 10.1 aarch64 | 2.6.5 |
| SmartOS / illumos x86_64 | - |
| macOS 15 arm64 | 2.7.0 |
Dependencies
Run dependencies 1
No port depends on this one.