Pathemeous / Symbolic-Gossip

Symbolic Model Checker for the Gossip Problem
GNU General Public License v2.0
2 stars 0 forks source link

Refactor out n param in gsi function #10

Closed Pathemeous closed 3 months ago

Pathemeous commented 3 months ago

The n parameter is supposed to provide the amount of agents involved, but this can be inferred from the knowledge structure directly using agentsOf.