|
|
80bd319a6d
|
Ooops.
|
2021-01-27 16:00:05 +01:00 |
|
|
|
3da1891778
|
merged signal.c in timer.c
|
2021-01-27 15:26:19 +01:00 |
|
|
|
c6851b22c0
|
added timer for maxed calculation time.
|
2021-01-27 13:56:03 +01:00 |
|
|
|
d72eb84347
|
fix display, add trees optimisation text.
|
2021-01-25 15:13:22 +01:00 |
|
|
|
507988a93b
|
simplify # trees: Catalan trees -> Wedderburn–Etherington trees
|
2021-01-25 10:12:45 +01:00 |
|
|
|
e1c734cb63
|
Added timer for bests solutions
|
2021-01-23 19:20:21 +01:00 |
|
