resolver is used at run time in 2 crates.

Depender resolver version
finitio ^0.1
eval-utility ^0.1