BSD Portsmath/btor2tools 1.0.3 FreeBSD
Generic parser and tool package for the BTOR2 format
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
21ee67276d- License
- MIT
- Categories
- math
- Package size
- 66.6 KiB, 175.7 KiB installed
Description
The Btor2Tools package provides a generic parser and tools for the BTOR2 format.
Btor2 is a word-level model checking format for capturing models of hardware and potentially software in a bit-precise manner.
Install
Binary package:
pkg install btor2toolsFrom the ports tree:
cd /usr/ports/math/btor2tools/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= btor2tools>0:math/btor2toolsPackages
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 | 1.0.3 | 1.0.3 | g20190418 | g20320816 | 1.0.3 |
| FreeBSD:14:quarterly | 1.0.3 | 1.0.3 | n/a | g20320816 | 1.0.3 |
| FreeBSD:15:latest | 1.0.3 | 1.0.3 | n/a | g20320816 | g20320816 |
| FreeBSD:15:quarterly | 1.0.3 | 1.0.3 | n/a | n/a | n/a |
| FreeBSD:16:latest | 1.0.3 | 1.0.3 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
The Makefile names none itself; they come from USES and USE_*.
The full lists below include those, and their dependencies in turn.
Build dependencies 15
Required by 1
Configuration
No options to configure.
- USES
- cmake cpe
- Service scripts
- none
Files
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| Boolector-btor2tools-1.0.3-037f1fa_GH0.tar.gz | 87314 | 304080e3b4dc11ea3da747907e231bdbe7bc7583cd38faeae6eb591cfb2adf45 |