github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-01-09 14:48:16 -05:00
Code Issues Packages Projects Releases Wiki Activity

Range constraint optimizer (#3151)

Browse Source 
Fixes #3128

---------

Co-authored-by: Leo <leo@powdrlabs.com>
This commit is contained in:
Georg Wiese
2025-08-08 16:05:05 +02:00
committed by GitHub
parent fdc663bb3a
commit 71d821c427
16 changed files with 465 additions and 60 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
constraint-solver/src/grouped_expression.rs
View File

@@ -65,7 +65,7 @@ pub enum Error {
/// (some kinds of) equations.
///
/// The name is derived from the fact that it groups linear terms by variable.
#[derive(Debug, Clone, PartialEq, Eq, Hash)]
#[derive(Debug, Clone, PartialEq, Eq, Hash, PartialOrd, Ord)]
pub struct GroupedExpression<T, V> {
/// Quadratic terms of the form `a * X * Y`, where `a` is a (symbolically)
/// known value and `X` and `Y` are grouped expressions that