List of my softwares.

• Beaver – an SMT (Satisfiability Modulo Theories) solver
• Modified ABC
• Aiger library with Ocaml wrapper
• Modified Ocamlgraph
• Modified Ocaml hashSet
• Modified Ocaml extLib

• Veriflat – a flattener for structural Verilog designs having parameters and generate statements.