math/oink g20260123_2 FreeBSD
Modern parity game solvers written in C++
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
97a84ef467- License
- APACHE20
- Categories
- math
- Package size
- 290.5 KiB, 925.1 KiB installed
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.
In the other systems
| System | Port | Version |
|---|---|---|
| FreeBSD | math/oink | g20260123_2 |
| DragonFly | math/oink | g20250105 |
Install
Binary package:
pkg install oink
From the ports tree:
cd /usr/ports/math/oink/ && make install clean
To depend on this port in another port's Makefile:
RUN_DEPENDS= oink>0:math/oink
LIB_DEPENDS= liboink.so:math/oink
Packages
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 | g20260123_2 | g20260123_2 | g20210710_2 | g20250105_1 | g20260123_2 |
| FreeBSD:14:quarterly | g20260123_2 | g20260123_2 | n/a | - | g20260123_2 |
| FreeBSD:15:latest | g20260123_2 | g20260123_2 | n/a | g20250105_1 | g20250105_1 |
| FreeBSD:15:quarterly | g20260123_2 | g20260123_2 | n/a | n/a | n/a |
| FreeBSD:16:latest | g20260123_2 | g20260123_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.
Library 2
libboost_iostreams.so: devel/boost-libsliblace.so: devel/lace
The full lists below include those, and their dependencies in turn.
Build dependencies 20
Run dependencies 5
No port depends on this one.
Configuration
No options to configure.
- USES
- cmake:testing compiler:c++17-lang
- Service scripts
- none
Files
pkg-plist 16
- bin/oink
- include/oink/bitset.hpp
- include/oink/error.hpp
- include/oink/game.hpp
- include/oink/libpopcnt.h
- include/oink/oink.hpp
- include/oink/solver.hpp
- include/oink/solvers.hpp
- include/oink/uintqueue.hpp
- lib/cmake/oink/oink-config-version.cmake
- lib/cmake/oink/oink-config.cmake
- lib/cmake/oink/oink-targets-.cmake
- lib/cmake/oink/oink-targets.cmake
- lib/liboink.so
- lib/liboink.so.1
- lib/liboink.so.1.0.0
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| trolando-oink-g20260123-ac3c12a_GH0.tar.gz | 8.908932e+06 | 4c0b9b0a9b785af4b6b8d99c95ac76702a29a119e820f5c6888f031b26d8d368 |