============================================================================ lift-codegen — Define models & algorithms from Rust, emit .lif + .lith

Run: cargo run --bin lift-codegen

This binary demonstrates LIFT's programmatic model construction. When executed, it:

1. Defines models using the ModelBuilder fluent API
2. Generates .lif files (LIFT IR source)
3. Generates .lith files (compilation config)
4. Verifies the generated IR
5. Analyses the model (FLOPs, memory)
6. Runs optimization passes
7. Exports to LLVM IR

All files are written to the project root.