Improvements in smtio.py "timer display during solving" feature
Improvements in smtio.py "timer display during solving" feature

cliffordwolf/picorv32,cliffordwolf/picorv32,cliffordwolf/picorv32,cliffordwolf/picorv32