Introduce flintify
helper for "optimal" dispatch on integer and rational inputs
#496
Job | Run time |
---|---|
50s | |
3m 44s | |
5m 1s | |
3m 29s | |
4m 52s | |
17m 56s |