Features:

• Refactor SAT Solver into crux (#2375) by @maennchen

Improvements:

• Add combination_acc callback to DataLayer behaviour by @zachdaniel