Many improvements, including:
a new, more flexible heuristic framework
faster conflict analysis in for bitvectors
faster graph reachability checks
many bug fixes
Many improvements, including:
a new, more flexible heuristic framework
faster conflict analysis in for bitvectors
faster graph reachability checks
many bug fixes