Pawelski, B. (2023). Algorithms counting fixed points in sets of monotone Boolean functions (Version 1.0.0) [Computer software]