(Please see all three pull requests: core-v2.5, tests and mpa extension)
The Num backend is now entirely independent from the DiscoDNC.
Num is thus ready to be moved into its own repository -- this should be done later but before merge with the master branch. Therefore, I created this forward port.
(Please see all three pull requests: core-v2.5, tests and mpa extension)
The Num backend is now entirely independent from the DiscoDNC. Num is thus ready to be moved into its own repository -- this should be done later but before merge with the master branch. Therefore, I created this forward port.