Skip to content
GitLab
Explore
Sign in
Register
Naps
naps
Repository
naps
glueminisat
core
SolverTypes.h
Find file
Blame
History
Permalink
Definition of l_True in glueminisat is recovered to macro
· 4d8f2e65
Hidetomo Nabeshima
authored
May 29, 2019
and
Masahiko Sakai
committed
Dec 02, 2019
4d8f2e65