(Ab)using `build.rs` for license checking is brilliant and horrible at once ;-) (Another argument for sandboxing build scripts?)
By the way, `Cargo.toml` example in the installation section has a significant typo:
symbolica = { "*" } # Should have been just `symbolica = "*"`.