Lib.rs
›
Users
#
sat-solver
#
bindings
msoos
Mate Soos
Joined crates-io 3 years ago. Joined GitHub 12 years ago.
GitHub
crates.io
Home (msoos.org)
Maintainer dashboard
Member of GitHub orgs
stp
Shares crates with
Storyyeller
Co-owns 1 crate
cryptominisat
Member since Dec 2020 (3 years)