Introduce flintify
helper for "optimal" dispatch on integer and rational inputs
#493
Job | Run time |
---|---|
50s | |
1m 31s | |
1m 54s | |
1m 9s | |
1m 34s | |
6m 58s |