GitHub repository: wontonion/fpse-smt-solver
Primary language: OCaml
Description: This repo is for FPSE project assignment.