refactor(pumpkin-solver): Use the `fzn-rs` package instead of `flatzinc`#258

Open

maartenflippo wants to merge 115 commits intomainfrom

feat/pumpkin-use-fzn-rs

Commits on Jul 24, 2025

feat(fzn-rs): Started working on a more ergonomic
maartenflippo
committed
feat(fzn-rs): Implement first go at the derive macro
maartenflippo
committed
fix(fzn-rs): Don't panic in an error case, but emit a compiler error
maartenflippo
committed
refactor(fzn-rs): Attach spans to AST in preparation for error messages
maartenflippo
committed
refactor(fzn-rs): Simplify the code generation code
maartenflippo
committed
feat(fzn-rs): Improve error messages when parsing instance
maartenflippo
committed
feat(fzn-rs): Resolve arrays from the AST
maartenflippo
committed
refactor(fzn-rs): Cleanup implementation and add documentation
maartenflippo
committed
docs(fzn-rs): Add root module documentation to fzn-rs
maartenflippo
committed
feat(fzn-rs): Explicitly set the name of a constraint in derive macro
maartenflippo
committed
feat(fzn-rs): Implement a basic FZN parser, without annotation support
maartenflippo
committed
refactor(fzn-rs): Update documentation and generalize variable arguments
maartenflippo
committed
feat(fzn-rs): Start implemented typed annotation parsing
maartenflippo
committed
feat(fzn-rs): Implement parsing of nested annotations
maartenflippo
committed
feat(fzn-rs): Allow typed annotations on the solve item
maartenflippo
committed
feat(fzn-rs): Implement array annotation arguments
maartenflippo
committed
refactor(fzn-rs): Implement parsing of comments
maartenflippo
committed
feat(fzn-rs): Parse annotations in variables, arrays, constraints, and solve items
maartenflippo
committed
feat(fzn-rs): Ignore predicate declarations in flatzinc
maartenflippo
committed
feat(fzn-rs): Allow constraint arguments to be separate structs
maartenflippo
committed
docs(fzn-rs): Add example with constraint args as separate struct
maartenflippo
committed
refactor(fzn-rs): Replace '_' with '-' in crate names
maartenflippo
committed
refactor(fzn-rs): Separate annotations for variables, constraints, and solve
maartenflippo
committed
feat(fzn-rs): Parse annotation arguments in struct
maartenflippo
committed
feat(fzn-rs): Implement RangeList::iter for i64 elements
maartenflippo
committed
feat(fzn-rs): Implement support for i32 as an integer type
maartenflippo
committed
refactor(fzn-rs): Remove redundent function
maartenflippo
committed
refactor(fzn-rs): Rename VariableArg to VariableExpr, and use it as the solve item in TypedInstance
maartenflippo
committed

Commits on Jul 28, 2025

Commits on Jul 29, 2025

fix(pumpkin-solver): Always resolve the representative of a variable
maartenflippo
committed

Commits on Aug 13, 2025

Commits on Aug 15, 2025

feat(fzn-rs): Implement parsing of the domain of array elements
maartenflippo
committed

Commits on Sep 4, 2025

WIP
maartenflippo
committed

Commits on Sep 8, 2025

fix(pumpkin-solver): Correctly create domain if flatzinc variable is assigned
maartenflippo
committed

Commits on Sep 10, 2025

Commits on Sep 11, 2025