Split up
A bit more flexibility
Add unset_all
Add simple bitset algorithm
Slightly better algorithm
Simple branch heuristic
AC-3