Registered
by
Lasse S. Jensen
A small C++ library for computing minimum fixed point in a dependency graph.
DistribUted Fixed Point Computation checKing of certain ZERO extended dependency graph (DuckZero) is a small C++ library for computing the minimum fixed point assignment of a dependency graph.
It offers three different algorithms: The original algorithm presented by Liu and Smolka, a Certain Zero extended one, and a Distributed algorithm.
Project information
- Maintainer:
- DuckZero Maintainers
- Driver:
- DuckZero Maintainers
- Licence:
- GNU GPL v3
View full history Series and milestones
trunk series is the current focus of development.