Thibaut Schaeffer 0358dec845 Upgrade Rust to 1.81 (#1846) ...

This is a prerequisite for #1845 

TODO:
- [x] narrow down or remove the dead_code exception

2024-09-27 14:08:26 +00:00

..

src

Upgrade Rust to 1.81 (#1846)

2024-09-27 14:08:26 +00:00

Cargo.toml

Introduce AlgebraicVariable (#1755)

2024-09-23 14:44:04 +00:00