We found the following 2 published projects which all share the keyword labsolver amongst their description of software or software methods used.