Lib.rs

› Users #sat-solver #eval-max-sat

francisol

Xie Zhongtao

Joined crates-io 4 months ago. Joined GitHub 9 years ago.

GitHub
crates.io
Maintainer dashboard

francisol created 2 crates

rsmaxsat

Sole owner since Jan 2025. Updated 2 weeks ago.
rssat

Sole owner since Sep 2024. Last updated 4 months ago.

Based on data from crates.io, GitHub, rustaceans.org, and other public sources. These pages are automatically generated for crates-io owners, and do not imply endorsement by either the Rust Project nor the users presented here.

Lib.rs is an unofficial list of Rust/Cargo crates, created by kornelski.