Promise network synthesis tool.