* replace rand

* fix

* add the trait part of the constraints

* fix

* Update src/constraints.rs

Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>

* Update src/constraints.rs

Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>

* Update src/constraints.rs

Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>

* Update src/constraints.rs

Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>

* Update src/constraints.rs

Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>

* fix

Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>

Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>
Co-authored-by: weikeng <w.k@berkeley.edu>

fixed repository url

Co-Authored-By: Pratyush Mishra <pratyushmishra@berkeley.edu>

Updates the requirements on [derivative](https://github.com/mcarton/rust-derivative) to permit the latest version.
- [Release notes](https://github.com/mcarton/rust-derivative/releases)
- [Changelog](https://github.com/mcarton/rust-derivative/blob/master/CHANGELOG.md)
- [Commits](https://github.com/mcarton/rust-derivative/commits

)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>