Set Solver has moved to makariosc.github.io/SynthSetSolver.