simd/archsimd/_gen/specgen/specexpr: constraint solver for SIMD spec