issues
search
Pathemeous
/
Symbolic-Gossip
Symbolic Model Checker for the Gossip Problem
GNU General Public License v2.0
2
stars
0
forks
source link
Add initial benchmarks (ClsTrf vs SmpTrf)
#12
Closed
Pathemeous
closed
3 months ago
Pathemeous
commented
3 months ago
Basic framework for benchmarks using Criterion
Basic framework for benchmarks using Criterion