update solver capabilities and tweak tests