Symbolic sets

This crate provides implementations of sets that are stored symbolically.

This means that you are not storing each element of the set directly; instead, a set consists of all elements that satisfy certain properties, which are expressed as code. You provide some atomic properties, along with rules for simplifying combinations of properties; we handle the rest.

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