NumberCross Solver using z3-smt-solver. Programming Assignment for Discrete Mathematics class (2019, Fall)
Primary LanguageC