fix bug with no sol
use alldiff AC by default
Merge branch 'feature-fixrec' into develop