Homec4science

rAKA/src/common/aka_common.hh
91ed8461338dfeatures/solver-rewrite