The kernel

The kernel is the heart of the system. It provides :

• communication and synchronization mechanisms, throught Quentin Miller's BSP-KLIC library
• foreign solvers integration facilities, by an uniform interface between the BS-Solve system and C or KLIC solving programs
• a toolbox to write strategies, consisting in datas structures, ready-to-use predicates with system control and monitoring abilities, and low-level predicates to implement new resolution schemes