Homec4science

rAKA/features%2Fsolver-rewrite
bd71b20edd2cbugfixes/64bit-integer…