Similar repositories to parSyn/BooleanFunctionSynthesis: