sbv-program (hackage): Given a library of available componen functions, synthesize a program implementing a specification.
Keywords: bit-vectors|bsd3|formal-methods|library|smt|symbolic-computation