Lib.rs

› Users #boolean-formulas #solver

Apfelbeet

Matthias Jugan

Joined crates-io a year ago. Joined GitHub 7 years ago.

Member of GitHub orgs

logic-ng, booleworks

Shares crates with

czengler, SHildebrandt

Co-owns 2 crates