Closed mlesnick closed 7 years ago
Originally reported by: Matthew Wright (GitHub: mlwright84)
Output computation time and other statistics for the user.
Original comment by M L (GitHub: mlesnick):
Data on computation time is currently output, at least for higher verbosity parameters. If we want something more, we can add a new todo on Github.
Originally reported by: Matthew Wright (GitHub: mlwright84)
Output computation time and other statistics for the user.