Fix E0412 and E0121 compilation errors for solver example

[konard]

🤖 AI-Powered Solution

This pull request fixes the compilation errors reported in issue #17.

📋 Issue Reference

Fixes #17

✅ Resolved Issues

E0412: cannot find type Link in scope

• ✓ The Link type is properly imported from the doublets crate
• ✓ All necessary imports are correctly specified in the module

E0121: placeholder _ not allowed in function signatures

• ✓ Replaced unit::Store<usize, _> with explicit generic type unit::Store<usize, mem::Global<unit::LinkPart<usize>>>
• ✓ Fixed function signature to use proper generic parameter specification

📝 Implementation Details

• Added examples/solver/ directory with working solver code
• Fixed generic type specification for mem::Global
• Updated workspace configuration to include the solver example
• Added comprehensive README with usage instructions
• Ensured compilation succeeds with nightly-2022-08-22 toolchain

🧪 Testing

The solver example now compiles successfully:

cargo +nightly-2022-08-22 check
# ✓ Finished dev [unoptimized + debuginfo] target(s) in 1.18s

📁 Structure

examples/solver/
├── Cargo.toml          # Project configuration
├── README.md           # Usage documentation  
└── src/
    └── main.rs         # Fixed solver implementation

The solver demonstrates:

• Creating doublets store for managing link relationships
• Generating sequences using boolean variables
• Creating variants using the doublets data structure
• Applying NAND operations to boolean combinations
• Deep formatting of link structures

---

🤖 Generated with Claude Code