Symbolic Direct Contradiction Lookup

.changelog/symbolic-direct-contradiction-lookup.md

1.8.1103 B

Sped up symbolic tests with large path-constraint sets by avoiding repeated linear contradiction scans.