huub-solver/huub

A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed

Language: Rust - Size: 3.16 MB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 11 - Forks: 6