Es propietario, además, de varios algoritmos de reconocido éxito en optimización combinatoria (BBMC y PASS) y de la librería BITSCAN para manipulación eficiente de cadenas de bits.