1.4.0

@sambayless sambayless released this Mar 27, 2017 · 434 commits to master since this release

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