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