software

  1. BFSS(Blazingly Fast Skolem function Synthesis:) An apporach based on Knowledge complication and counterexample guided repair.

  2. C2Syn: A knowledge complication based apporach.

  3. Manthan: A data-driven approach for functional synthesis.