Example projects for SATNKernel