4 Commits

Author	SHA1	Message	Date
Joris van Rantwijk	082a2d8f03	Simplify --solver syntax of run_test.py	2023-06-16 20:52:06 +02:00
Joris van Rantwijk	8d69a3316c	Minor fix language in docstring	2023-03-13 21:56:46 +01:00
Joris van Rantwijk	b8391ea319	Pylint cleanups	2023-03-12 12:16:29 +01:00
Joris van Rantwijk	1e81129476	Tool for testing and benchmarking	2023-02-22 23:20:43 +01:00