¶Spruce
Spruce is the collection of Rust crates that we have implemented. Unless otherwise noted, all crates in Spruce are licensed under the AGPL. Please contact us if you are interested in a commercial license for any of them.
¶ANF sets
The symbolic-sets crate provides an implementation of sets that are stored in Algebraic Normal Form (ANF). In ANF, each set is stored as the symmetric difference of intersections (or in boolean terms, as the XOR of ANDs).