Figure 1: The BS-Solve architecture
The BS-Solve architecture is organized into components (figure 1). The kernel and solving components form the basis of the system, whereas the strategies component implements the user-control of resolution mechanisms. The kernel is the lowest level of the system, and does not depend on the user, while both solving and strategies components are implemented by the user.