Lib.rs
›
Users
#
boolean-formulas
#
solver
SHildebrandt
Steffen Hildebrandt
Joined crates-io a year ago. Joined GitHub 12 years ago.
GitHub
crates.io
Maintainer dashboard
Member of GitHub orgs
warthog-logic
,
logic-ng
,
booleworks
Shares crates with
czengler
,
Apfelbeet
Co-owns 2 crates
logicng
Member since Sep 2023 (a year)
logicng-open-wbo-sys
Member since Sep 2023 (a year)