github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-01-12 04:48:06 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
stride
powdr/executor
History
chriseth f4c99197f9 Introduce range constraint size. (#3177) 
Introduce the concept of `size` for range constraint. It provides an
upper bound for the number of values in the rang econstraint and can be
different from the range width.
2025-08-18 07:07:05 +00:00
..
src
Introduce range constraint size. (#3177)
2025-08-18 07:07:05 +00:00
Cargo.toml
Move constraint analysis (#2642)
2025-04-22 14:44:50 +00:00