I’ve been working for the last couple of years on Djinni, a software package to efficiently approximate solutions to various np–complete problems. The project is hosted over here.