guix/gnu/packages/maths.scm, branch java-team Transactional package manager, declarative GNU/Linux distribution, reproducible deployment tool, and more! https://guix.gnu.org gnu: sundials: Build with python3. 2026-04-13T14:36:50+00:00 Efraim Flashner efraim@flashner.co.il 2026-04-13T14:35:25+00:00 b7992ceef53bba0ab84445c8ce07a8612e2e6459 * gnu/packages/maths.scm (sundials)[native-inputs]: Remove python-2; add python-minimal-wrapper. Change-Id: I7e0e8984786391fdf9b966acd48560ea3f2e5d7a 
* gnu/packages/maths.scm (sundials)[native-inputs]: Remove python-2; add
python-minimal-wrapper.

Change-Id: I7e0e8984786391fdf9b966acd48560ea3f2e5d7a
gnu: cvc5: Only build test programs when tests are enabled. 2026-04-12T12:35:30+00:00 Sören Tempel soeren+git@soeren-tempel.net 2026-04-12T12:21:09+00:00 c41e1bffa1c4c406de775688a287007fd1351fd8 * gnu/packages/maths.scm (cvc5)[#:phases] <build-tests>: Check tests? before building the test programs, which are only used by 'check. Change-Id: I14161f88cfde6bdbcb76518b7aa8517640e2cdc1 
* gnu/packages/maths.scm (cvc5)[#:phases] <build-tests>: Check tests?
before building the test programs, which are only used by 'check.

Change-Id: I14161f88cfde6bdbcb76518b7aa8517640e2cdc1
gnu: cvc5: make build reproducible 2026-04-10T07:32:23+00:00 Sören Tempel soeren+git@soeren-tempel.net 2026-04-07T14:29:02+00:00 0043e6b109d8e708f52447dbeb1a32b813608cc7 * gnu/packages/patches/cvc5-reproducible-build.patch: New patch. * gnu/local.mk (dist_patch_DATA) Register it. * gnu/packages/maths.scm (cvc5)[patches]: Use it. Change-Id: I03e1b12a1fdaa37c327860c7890ab0f1389f8f87 
* gnu/packages/patches/cvc5-reproducible-build.patch: New patch.
* gnu/local.mk (dist_patch_DATA) Register it.
* gnu/packages/maths.scm (cvc5)[patches]: Use it.

Change-Id: I03e1b12a1fdaa37c327860c7890ab0f1389f8f87
gnu: cadical: Make build reproducible. 2026-04-10T07:31:41+00:00 Sören Tempel soeren+git@soeren-tempel.net 2026-04-07T12:08:07+00:00 8d52f5a302332d08e771887e754858907bfe1b9b * gnu/packages/maths.scm (cadical)[#:phases] <no-build-date>: Don't encode current date in binaries. Change-Id: If73a92adc4983b49c6e0bd8575c69a28484fd0fc 
* gnu/packages/maths.scm (cadical)[#:phases] <no-build-date>:
Don't encode current date in binaries.

Change-Id: If73a92adc4983b49c6e0bd8575c69a28484fd0fc
gnu: minizinc: Add Google's OR-Tools as solver. 2026-04-07T08:25:09+00:00 Herman Rimm herman@rimm.ee 2025-05-23T06:19:41+00:00 d9a7cdd73155c0911645ab5cb7d90c065d169d26 * gnu/packages/maths.scm (minizinc)[inputs]: Add or-tools. [arguments]<#:phases>{install-solver-configs}: Install OR-Tools' config. Change-Id: Ibc301b458487c3465251c1c6d97f5858d7d6d59e Signed-off-by: Nguyễn Gia Phong <cnx@loang.net> 
* gnu/packages/maths.scm (minizinc)[inputs]: Add or-tools.
  [arguments]<#:phases>{install-solver-configs}:
  Install OR-Tools' config.

Change-Id: Ibc301b458487c3465251c1c6d97f5858d7d6d59e
Signed-off-by: Nguyễn Gia Phong <cnx@loang.net>
gnu: Add cvc5. 2026-04-06T19:21:57+00:00 Sören Tempel soeren+git@soeren-tempel.net 2026-03-25T12:24:42+00:00 a3042cb349f3ededafd401f871aa7c09e2975dac * gnu/packages/maths.scm (cvc5): New variable. Change-Id: Ia8bb80d7763f1dcf8497ae31f35661f4935c853f 
* gnu/packages/maths.scm (cvc5): New variable.

Change-Id: Ia8bb80d7763f1dcf8497ae31f35661f4935c853f
gnu: nauty: Update to 2.9.3. 2026-04-06T11:07:03+00:00 Nicolas Goaziou mail@nicolasgoaziou.fr 2026-04-06T10:11:05+00:00 3166b940ee92be711756d08677cd561a938e3898 * gnu/packages/maths.scm (nauty): Update to 2.9.3. Change-Id: I86d77c73014b4564f3e05f4111665315bc7e701f 
* gnu/packages/maths.scm (nauty): Update to 2.9.3.

Change-Id: I86d77c73014b4564f3e05f4111665315bc7e701f
gnu: louvain-community: Refer to library by path in CMake module. 2026-04-04T16:27:04+00:00 Sören Tempel soeren+git@soeren-tempel.net 2026-03-29T16:12:48+00:00 9a9c8f7304985eed41f8201eda2dfdc4718d5b21 * gnu/packages/maths.scm (louvain-community) [arguments]<#:phases>: Add 'cmake-lib-full-path phase. Change-Id: I5f957c828f39b24a6fa8da8e3d19f16b5c328303 Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com> 
* gnu/packages/maths.scm (louvain-community)
[arguments]<#:phases>: Add 'cmake-lib-full-path phase.

Change-Id: I5f957c828f39b24a6fa8da8e3d19f16b5c328303
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
gnu: cadical: Update to 2.2.1. 2026-04-04T16:27:03+00:00 Sören Tempel soeren+git@soeren-tempel.net 2026-03-26T17:10:58+00:00 37bb79a391c6be63aacac11da6d6e12c08759a3a * gnu/packages/maths.scm (cadical): Update to 2.2.1. [patches]: Remove cadical-add-shared-library.patch. [arguments]<#:configure-flags>: Add "-shared". <#:phases>: Remove replacement for 'check. In 'configure no longer invoke setenv before configuring. (cadical-2.1)[#:configure-flags]: Use empty list. [#:phases]: Add 'set-shared-flags. Replace 'check as before. Change-Id: I67c64cfe6de0b88d0fce5103a6dcc273a2b5f244 Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com> 
* gnu/packages/maths.scm (cadical): Update to 2.2.1.
[patches]: Remove cadical-add-shared-library.patch.
[arguments]<#:configure-flags>: Add "-shared".
<#:phases>: Remove replacement for 'check.
In 'configure no longer invoke setenv before configuring.
(cadical-2.1)[#:configure-flags]: Use empty list.
[#:phases]: Add 'set-shared-flags.  Replace 'check as before.

Change-Id: I67c64cfe6de0b88d0fce5103a6dcc273a2b5f244
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
gnu: Add cadical-2.1. 2026-04-04T16:27:03+00:00 Sören Tempel soeren+git@soeren-tempel.net 2026-03-26T16:57:41+00:00 e91607864bb831bddeb66393f5fea8d13f91381a With the latest 2.2.X version of cadical, lean4's test suite fails. This can be mitigated by packaging the old version as cadical-2.1. * gnu/packages/maths.scm (cadical-2.1): New variable. * gnu/packages/lean.scm (lean4)[inputs]: Replace cadical with cadical-2.1. Change-Id: Id5e4a06266e0688454040caf0766bf8d769bbd10 Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com> 
With the latest 2.2.X version of cadical, lean4's test suite fails.
This can be mitigated by packaging the old version as cadical-2.1.

* gnu/packages/maths.scm (cadical-2.1): New variable.
* gnu/packages/lean.scm (lean4)[inputs]: Replace cadical with cadical-2.1.

Change-Id: Id5e4a06266e0688454040caf0766bf8d769bbd10
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>