Unofficial repository for the STP constraint solver