Supplemental Material for Bioinformatics 2023 This repository provides supplemental materials for "SAT-based Method for Finding Attractors in Asynchronous Multi-valued Networks". Benchmark star star_asp