Syllogism is used at run time in 1 crate. It's used only as a dev dependency in 1 crate.

Depender (with downloads and own rev deps) Syllogism version
1 syllogism-macro ^0.1.0
try-specialize dev ^0.1.3