Skip to content
GitLab
Explore
Sign in
wise-lab
wise-move
Repository
wise-move
verifier
scanner.py
Find file
Blame
History
Permalink
Refactoring (change the module name "model_checker" to "verifier")
· d82fe91c
Jae Young Lee
authored
Feb 06, 2019
And, changing # of hidden layers to 3 from 6.
d82fe91c