Bi-SSCFLP solver project