Port details on branch 2022Q3 |
- oink Modern parity game solvers written in C++
- g20210710_6 math =0 g20210710_5Version of this port present on the latest quarterly branch.
- Maintainer: yuri@FreeBSD.org
- Port Added: 2021-07-05 19:36:14
- Last Update: 2024-02-13 14:44:22
- Commit Hash: db61653
- License: APACHE20
- WWW:
- https://github.com/trolando/oink
- Description:
- Oink is an modern implementation of parity game solvers written in C++. Oink
aims to provide high-performance implementations of state-of-the-art algorithms
representing different approaches to solving parity games.
- ¦ ¦ ¦ ¦
- 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/oink/ && make install clean
- To add the package, run one of these commands:
- pkg install math/oink
- pkg install oink
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: oink
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1647124747
SHA256 (trolando-oink-g20210710-3327c54_GH0.tar.gz) = 5c4f1658531fcfca394cb46412143ccebc70153953d398942609b18f999a136a
SIZE (trolando-oink-g20210710-3327c54_GH0.tar.gz) = 178207
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:
-
- cmake : devel/cmake-core
- ninja : devel/ninja
- Library dependencies:
-
- libboost_iostreams.so : devel/boost-libs
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- math_oink
- USES:
- cmake:testing
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|