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/