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