Choosing stylesheet and properties from core
Choosing stylesheet and properties from core

The process is now in three steps:

1. Enumerate all (different) selectors
2. Choose selectors that can separate all required pairs of elements
3. Ask Z3 to select which properties to enable

uwplse/Cassius,uwplse/Cassius,uwplse/Cassius,uwplse/Cassius,uwplse/Cassius,uwplse/Cassius