BSD Ports

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

SystemPortVersion
FreeBSDmath/oinkg20260123_2
DragonFlymath/oinkg20250105

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.

Repositoryaarch64amd64armv6armv7i386
FreeBSD:14:latestg20260123_2g20260123_2g20210710_2g20250105_1g20260123_2
FreeBSD:14:quarterlyg20260123_2g20260123_2n/a-g20260123_2
FreeBSD:15:latestg20260123_2g20260123_2n/ag20250105_1g20250105_1
FreeBSD:15:quarterlyg20260123_2g20260123_2n/an/an/a
FreeBSD:16:latestg20260123_2g20260123_2n/an/an/a
FreeBSD:16:quarterlyn/an/an/an/an/a

Dependencies

As this port's Makefile names them.

Library 2

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
FileSizeSHA256
trolando-oink-g20260123-ac3c12a_GH0.tar.gz8.908932e+064c0b9b0a9b785af4b6b8d99c95ac76702a29a119e820f5c6888f031b26d8d368

Commit history 2

DateCommitCreditsLog message
97a84ef467 Dima Panov */*: update boost consumers after boost-1.92
213840c151 Dima Panov */*: bump consumers after devel/boost update