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/