Initial Commit of synth solver