hotdrink-rs (cargo): An implementation of HotDrink in Rust.
Keywords: data-structures|algorithms|constraint-systems