Mzn implementation 2 - #4

Merged

radevgit merged 11 commits into

mainfrom

mzn_implementation_2

Oct 18, 2025

Commits on Oct 18, 2025

Removed compiler.rs
radevgit
committed
63ae53f
Removed compiler.rs
radevgit
committed
a1ffca8
Multidimentional arrays flattening
radevgit
committed
21d8b1f
Update dependencies and enhance multi-dimensional array support with variable indexing
radevgit
committed
cf14e9f
Refactor ArrayMetadata by removing 1D array creation method and simplifying binary operation handling in the translator
radevgit
committed
d6260df
Enhance output formatting support by implementing formatted output expressions and updating print_solution function to utilize model data. Add tests for output parsing and string concatenation.
radevgit
committed
f9b9623
Search annotations
radevgit
committed
57ea242
array2d array3d
radevgit
committed
9c94c95
array2d array3d
radevgit
committed
e5c7bb1
Enumerated types
radevgit
committed
58ac302
moved documents
radevgit
committed
0923a42