smt2-parser (hackage): Please see the README on GitHub at https://github.com/crvdgc/smt2-parser#readme
Keywords: bsd3|formal-languages|language|library|smt