BS-Solve allows to combine C and KLIC programs to
study resolution processes using concurrent and cooperating
solvers. Therefore, it provides a set of C and KLIC
libraries and permits the use of pre-existing solvers. The aim of
these libraries is to be called from KLIC programs to
implement resolution strategies between solvers.
The BS-Solve system comes with some predefined structures and predicates in order to write such strategies.