Introduce flintify
helper for "optimal" dispatch on integer and rational inputs
#495
Job | Run time |
---|---|
50s | |
3m 44s | |
4m 58s | |
3m 35s | |
4m 52s | |
17m 59s |