Lib.rs

› Users #logic #max-sat

SHildebrandt

Steffen Hildebrandt

Joined crates-io 2 years ago. Joined GitHub 13 years ago.

Member of GitHub orgs

warthog-logic, logic-ng, booleworks

Shares crates with

czengler, Apfelbeet

Co-owns 2 crates