To receive development and release announcements about msolve: msolve-news

Releases:

• release v0.9.5: (26th March 2026)

Download binaries:

• Linux, Intel, AVX512: msolve-0.9.5_linux_intel_x86_avx512.zip,
• Linux, Intel: msolve-0.9.5_linux_intel_x86.zip,
• Linux, AMD, AVX512: msolve-0.9.5_linux_amd_x86-64_avx512.zip,
Download source files msolve-0.9.5.tar.gz
Download tutorial tutorial
Changes: Several bug fixes (real root isolation, core solving functions and change of order algorithms). Several memory leaks and overflows fixed. Bug fixes in the C interface (export functions). Global seed for random choices. Decreased memory usage for the computation of Groebner bases over QQ. More functionalities and bug fixes in the file interface to maple. Improved portability for tests. Documentation improved.
• release v0.9.4: (12th December 2025)

Download binaries:

• Linux, Intel, AVX512: msolve-0.9.4_linux_intel_x86_avx512.zip,
• Linux, Intel: msolve-0.9.4_linux_intel_x86.zip,
• Linux, AMD, AVX512: msolve-0.9.4_linux_amd_x86-64_avx512.zip,
Download source files msolve-0.9.4.tar.gz
Download tutorial tutorial
Changes: Fixes computation over QQ if input is not in shape position via derandomization of the extra linear form.
• release v0.9.3: (4th December 2025)

Download binaries:

• Linux, Intel, AVX512: msolve-0.9.3_linux_intel_x86_avx512.zip,
• Linux, Intel: msolve-0.9.3_linux_intel_x86.zip,
• Linux, AMD, AVX512: msolve-0.9.3_linux_amd_x86-64_avx512.zip,
Download source files msolve-0.9.3.tar.gz
Changes: Memory fixes for GB interface w.r.t. elimination orderings. Bug fix in the handling of initial primes and non-generic situations. Memory fixes when solving.
• release v0.9.2: (9th October 2025)

Download binaries:

• Linux, Intel, AVX512: msolve-0.9.2_linux_intel_x86_avx512.zip,
• Linux, Intel: msolve-0.9.2_linux_intel_x86.zip,
• Linux, AMD, AVX512: msolve-0.9.2_linux_amd_x86-64_avx512.zip,
Download source files msolve-0.9.2.tar.gz
Changes: Fixes for exporting a GB when applying elimination order. Fixes in the documentation for elimination orders. Fixes in the documentation for precision.
• release v0.9.1: (11th September 2025)

Download binaries:

• Linux, Intel, AVX512: msolve-0.9.1_linux_intel_x86_avx512.zip,
• Linux, Intel: msolve-0.9.1_linux_intel_x86.zip,
• Linux, AMD, AVX512: msolve-0.9.1_linux_amd_x86-64_avx512.zip,
Download source files msolve-0.9.1.tar.gz
Changes: Elimination GB output. Interval isolation. Precision handling.
• release v0.9.0: (23rd June 2025)

Download binaries:

• Linux, Intel, AVX512: msolve-0.9.0_linux_intel_x86_avx512.zip,
• Linux, Intel: msolve-0.9.0_linux_intel_x86.zip,
• Linux, AMD, AVX512: msolve-0.9.0_linux_amd_x86-64_avx512.zip,
Download source files msolve-0.9.0.tar.gz
Changes: Improved matrix-vector product. Improved lifting of rational parametrization. Several memory improvements. Changes interface of initialize_basis() which now enables connection to already existing hash tables.
• release v0.8.0: (16th May 2025)

Download binaries:

• Linux, Intel, AVX512: msolve-0.8.0_linux_intel_x86_avx512.zip,
• Linux, Intel: msolve-0.8.0_linux_intel_x86.zip,
• Linux, AMD, AVX512: msolve-0.8.0_linux_amd_x86-64_avx512.zip,
Download source files msolve-0.8.0.tar.gz
Changes: Improved construction of DRL GBs over QQ. Several bug fixes. Improved interface.
• release v0.7.5: (17th March 2025)

Download binaries:

• Linux, Intel, AVX512: msolve-0.7.5_linux_intel_x86_avx512.zip,
• Linux, Intel: msolve-0.7.5_linux_intel_x86.zip,
• Linux, AMD, AVX512: msolve-0.7.5_linux_amd_x86-64_avx512.zip,
Download source files msolve-0.7.5.tar.gz
Changes: Fixes problems with FreeBSD and qsort_r. Casts reallocations correctly.
• release v0.7.4: (28th February 2025)

Download binaries:

• Linux, Intel, AVX512: msolve-0.7.4_linux_intel_x86_avx512.zip,
• Linux, Intel: msolve-0.7.4_linux_intel_x86.zip,
• Linux, AMD, AVX512: msolve-0.7.4_linux_amd_x86-64_avx512.zip,
Download source files msolve-0.7.4.tar.gz
Changes: Several smaller bugfixes, especially a segfault when running with info level 0 and using elimination orderings.
• release v0.7.3: (14th October 2024)

Download binaries:

• Linux, Intel, AVX512: msolve-0.7.3_linux_intel_x86_avx512.zip,
• Linux, Intel: msolve-0.7.3_linux_intel_x86.zip,
• Linux, AMD, AVX512: msolve-0.7.3_linux_amd_x86-64_avx512.zip,
Download source files msolve-0.7.3.tar.gz
Changes: Bugfixes for real root isolation, allows dos file format as input, faster computation of the leading ideal in characteristic 0, bug fixes for lifting bases and saturation.
• release v0.7.2: (18th September 2024)

Download binaries:

• Linux, Intel, AVX512: msolve-0.7.2_linux_intel_x86_avx512.zip,
• Linux, Intel: msolve-0.7.2_linux_intel_x86.zip,
• Linux, AMD, AVX512: msolve-0.7.2_linux_amd_x86-64_avx512.zip,
Download source files msolve-0.7.2.tar.gz
Changes: Bug fixes for lifting bases and saturation.
• release v0.7.1: (31st July 2024)

Download binaries:

• Linux, Intel, AVX512: msolve-0.7.1_linux_intel_x86_avx512.zip,
• Linux, Intel: msolve-0.7.1_linux_intel_x86.zip,
• Linux, AMD, AVX512: msolve-0.7.1_linux_amd_x86-64_avx512.zip,
Download source files msolve-0.7.1.tar.gz
Changes: Bug fixes for freeing data in interface for degrevlex bases over QQ, adjustments for 32 bit.
• release v0.7.0: (29th July 2024)

Download binaries:

• Linux, Intel, AVX512: msolve-0.7.0_linux_intel_x86_avx512.zip,
• Linux, Intel: msolve-0.7.0_linux_intel_x86.zip,
• Linux, AMD, AVX512: msolve-0.7.0_linux_amd_x86-64_avx512.zip,
Download source files msolve-0.7.0.tar.gz
Changes: Adds new interface to export degrevlex GBs over QQ, various bug fixes, e.g. edge cases in F4SAT.
• release v0.6.8: (24th July 2024)

Download binaries:

• Linux, Intel, AVX512: msolve-0.6.8_linux_intel_x86_avx512.zip,
• Linux, Intel: msolve-0.6.8_linux_intel_x86.zip,
• Linux, AMD, AVX512: msolve-0.6.8_linux_amd_x86-64_avx512.zip,
Download source files msolve-0.6.8.tar.gz
Changes: New lifting code, at the moment disabled by default, several bug fixes.
• release v0.6.5: (26th February 2024)

Download binaries:

• Linux, Intel, AVX512: msolve-0.6.5_linux_intel_x86_avx512.zip,
Download source files msolve-0.6.5.tar.gz
Changes: Several bug fixes.
• release v0.6.4: (10th February 2024)

Download binaries:

• Linux, Intel, AVX512: msolve-0.6.4_linux_intel_x86_avx512.zip,
• Linux, Intel: msolve-0.6.4_linux_intel_x86.zip,
Download source files msolve-0.6.4.tar.gz
Changes: Several bug fixes concerning lifting and parallel hashing.
• release v0.6.1: linux x86 (2nd November 2023)
Download binaries:
• Linux, Intel: msolve-0.6.1_linux_intel_x86.zip,

Download source files msolve-0.6.1.tar.gz
Changes: Efficiency improvements, interfaces are improved, several bug fixes.

• release v0.5.0: (5th July 2023)

Download binaries:

• Linux, Intel: msolve-0.5.0_linux_intel_x86.zip,
Download source files msolve-0.5.0.tar.gz
Changes: Gröbner bases lifted over the rationals, multi-threaded change of order (prime fields), performance improvement for elimination orderings, several bug fixes.
• release v0.4.9: linux x86 (31st January 2023)

Download binaries msolve-0.4.9.tar.gz, source files sources-msolve-v0.4.9.tar.gz
Changes: Efficiency improvements; interfaces are improved.

• release v0.2.8: linux x86 (9th January 2023)

Download msolve-0.2.8.tar.gz
Changes: Several bug fixes (including those occuring on M1 processors); efficiency improvements; interfaces are improved.

• release v0.2.4: linux x86 (13th April 2022)

Download msolve-0.2.4.tar.gz
Changes: Several bug fixes; efficiency improvements, multi-threading.

• release v0.1.2: linux x86 (23rd May 2021)

Download msolve-0.1.2.tar.gz
Changes: Several bug fixes; autotools are used for the build process.

• release v0.1.1: linux x86 (16th April 2021)

Download msolve-0.1.1.tar.gz
Changes: Bug fix; documentation updated.

• release v0.1.0: Linux x86 (7th April 2021)

Download msolve-0.1.0.tar.gz