The user interaction with BS-Solve is very scalable, and depends on the intended purpose of the user program. All interactions are permitted, between resolution-only with pre-existing solvers and strategies, to fine scheduling of user's solvers with his own strategies using low-level BSP-KLIC primitives.