BSD Portsmath/oink g20250105 DragonFly
Modern parity game solvers written in C++
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- APACHE20
- Categories
- math
- Package size
- 288.6 KiB, 938.3 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 |
|---|---|---|
| DragonFly | math/oink | g20250105 |
| FreeBSD | math/oink | g20260123_2 |
Install
Binary package:
pkg install oinkFrom DPorts:
cd /usr/dports/math/oink && make install cleanDependencies
Run dependencies 2
No port depends on this one.