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/