对队列sum约束的一个小问题

定义

bit a[$];

约束

a.size()=8;

a.sum()=3;

会报错约束失败，提示如下信息，百思不得其解：

Solver failed when solving following set of constraints

constraint len_range

{

len_q.size() -> (fv_temp_67 == 3);

}

后面在想是不是因为定义类型是单bit的问题，于是把定义修改为int:

int a[$];

约束成功；