#sets #testing #symbolic-sets

symbolic-sets-integers

Symbolic sets examples and test implementations

1 unstable release

0.1.0 May 15, 2024

#974 in Algorithms

AGPL-3.0-only

59KB
1K SLoC

Example property implementation for symbolic sets

This crate provides examples and test cases for the ‘symbolic_sets’ crate.

For full documentation, please visit https://docs.rs/symbolic-sets-integers/


lib.rs:

Provides examples and test cases for the [symbolic-sets][symbolic_sets] crate.

Dependencies

~4.5MB
~90K SLoC