While the complete manual isn't public, several universities and academic platforms host specific exercise solutions or samples:

The authors maintain a companion website. Occasionally, they release "Selected Solutions" for specific chapters (usually chapters 1-3) to help students get started. Search for "Lee Seshia Book Website" – often hosted at UC Berkeley (EECS).

I can walk you through the reasoning for any chapter, especially core topics like:

by Jensen, Lee, and Seshia provides hands-on exercises and practical design examples.