File	Line Coverage			Functions
alldifferent.rs	100%	100%	104 / 104	33.33%	7 / 21
asserted.rs	100%	100%	44 / 44	66.67%	12 / 18
boolean.rs	98.25%	98.25%	280 / 285	64.29%	54 / 84
counting.rs	93.75%	93.75%	60 / 64	33.33%	6 / 18
domain.rs	79.41%	79.41%	27 / 34	27.78%	5 / 18
element.rs	95.96%	95.96%	95 / 99	33.33%	9 / 27
index_of.rs	26.92%	26.92%	28 / 104	33.33%	2 / 6
lex.rs	66.96%	66.96%	77 / 115	27.45%	14 / 51
linear.rs	100%	100%	52 / 52	44.44%	8 / 18
pseudo_boolean.rs	95.52%	95.52%	384 / 402	60.95%	64 / 105
rules.rs	100%	100%	10 / 10	50%	3 / 6
table.rs	98.7%	98.7%	76 / 77	33.33%	7 / 21