I knew that the goal was to get IDA to be cost-competitive, but I thought current versions of it weren’t. But that was just my rough impression; glad to be wrong, since it makes IDA seem even more promising. :) Of all the proposals I’ve heard of, IDA seems to have the best combination of cost, date, and performance-competitiveness.
I knew that the goal was to get IDA to be cost-competitive, but I thought current versions of it weren’t. But that was just my rough impression; glad to be wrong, since it makes IDA seem even more promising. :) Of all the proposals I’ve heard of, IDA seems to have the best combination of cost, date, and performance-competitiveness.
I think our current best implementation of IDA would neither be competitive nor scalably aligned :)