SWI-Prolog CLP(B) has a sat_count/2 predicate. What would be the replacement for this in SICStus Prolog CLP(B). So far I went with:
sat_count(F, N) :- sat
