A Rust trait system solver as a stand-alone library.