don't cache in EncEq instances

so we can use those instances in non-cached runs
add configurable solve functions