Commit Graph

4 Commits

Author SHA1 Message Date
David Allemang
f3617d7d35 fix benchmark message 2022-09-16 12:00:52 -04:00
David Allemang
c9983e232f reorder benchmark values 2022-09-16 11:52:00 -04:00
David Allemang
c7c6784643 add bound to support for infinite groups and free relations
special values tc::UNBOUND and tc::FREE used for this.
2022-09-16 11:49:40 -04:00
David Allemang
a867631393 add benchmark executable 2022-09-16 11:49:40 -04:00