Z3Ann A neural network generator using Z3 constraint solver to find weights /!\ You should first install Z3 C++ api to compile this project.