A neural network generator using Z3 constraint solver to find weights
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
outputtest
testfiles
.gitignore
BackendC.cpp
BackendC.hpp
Frontend.cpp
Frontend.hpp
LICENSE
Makefile
README.md
Z3SolutionConverter.hpp
main.cpp
z3ann.cpp
z3ann.hpp

README.md

Z3Ann

A neural network generator using Z3 constraint solver to find weights

/!\ You should first install Z3 C++ api to compile this project.