Similar repositories to just-hms/Optimal-synthesis-of-multi-output-boolean-functions-using-ILP: