Releases:
- release v0.6.5: (26th February 2024)
- Linux, Intel: msolve-0.6.5_linux_intel_x86.zip,
- release v0.6.4: (10th February 2024)
- Linux, Intel: msolve-0.6.4_linux_intel_x86.zip,
- Linux, Intel, no AVX512: msolve-0.6.4_linux_intel_x86_noavx512.zip,
- release v0.6.1: linux x86 (2nd November 2023) Download binaries:
- Linux, Intel: msolve-0.6.1_linux_intel_x86.zip,
- release v0.5.0: (5th July 2023)
- Linux, Intel: msolve-0.5.0_linux_intel_x86.zip,
- release v0.4.9: linux x86 (31st January 2023)
- release v0.2.8: linux x86 (9th January 2023)
- release v0.2.4: linux x86 (13th April 2022)
- release v0.1.2: linux x86 (23rd May 2021)
- release v0.1.1: linux x86 (16th April 2021)
- release v0.1.0: Linux x86 (7th April 2021)
Download binaries:
Download tutorial tutorial
Changes: Several bug fixes.
Download binaries:
Download tutorial tutorial
Changes: Several bug fixes concerning lifting and parallel hashing.
Download source files msolve-0.6.1.tar.gz
Download tutorial
tutorial
Changes:
efficiency improvements,
interfaces are improved, several bug fixes.
Download binaries:
Download tutorial tutorial
Changes: Gröbner bases lifted over the rationals, multi-threaded change of order (prime fields), performance improvement for elimination orderings, several bug fixes.
Download binaries
msolve-0.4.9.tar.gz,
source files sources-msolve-v0.4.9.tar.gz
Changes: efficiency improvements; interfaces are improved.
Download
msolve-0.2.8.tar.gz
Changes: several bug fixes (including those occuring on M1
processors); efficiency improvements; interfaces are improved.
Download
msolve-0.2.4.tar.gz
Changes: several bug fixes ; efficiency improvements, multi-threading.
Download
msolve-0.1.2.tar.gz
Changes: several bug fixes ; autotools are used for the build process.
Download
msolve-0.1.1.tar.gz
Changes: bug fix ; documentation updated.
Download msolve-0.1.0.tar.gz