Sat4all
RICK-SAT