software BFSS(Blazingly Fast Skolem function Synthesis:) An approach based on Knowledge complication and counterexample guided repair. C2Syn: A knowledge complication based apporach. Manthan: A data-driven approach for functional synthesis.