SAF: SAT-based Attractor Finder

Step1: Give your instance.

Select your network type.
an bnet booleannet sbml

Write your network in the textbox

Or you can upload a file
Uploaded file will overwrite the textbox.

Step2: Run SAF (Timeout 20 sec.).

less than or equal to

Reference

Tool reference

Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura. SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks. CMSB 2023, pp. 175--183

Method reference

Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura: SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks. BIOINFORMATICS 2023, pp. 163--174