Lib.rs
›
Users
#
boolean-formulas
#
solver
czengler
Christoph Zengler
Joined crates-io a year ago. Joined GitHub 13 years ago.
GitHub
crates.io
Maintainer dashboard
Member of GitHub orgs
logic-ng
,
booleworks
Shares crates with
Apfelbeet
,
SHildebrandt
czengler created 2 crates
logicng
Founded in Sep 2023. Last updated a year ago.
logicng-open-wbo-sys
Founded in Sep 2023. Last updated a year ago.