Logic Aided Lamarckian Evolution