Easy to use high-level objects for SAT solving, including logical expressions, scalars, and matrices.