Numbrix Solver Program using Z3 solver. Programming Assignment for Discrete Mathematics class(2019, Fall)
Primary LanguageC