LibmCS 1.2.0 has been released
A new version of LibmCS is available
LibmCS 1.2.0 has been released to the public and is available via the LibmCS repository on GitLab. This is the first release of LibmCS which is publicly available.
See Mathematical Library for Critical Systems for more
