Modified the DP implementation, now it's able to return a core

Reorganized fanSATstic.py code