Algorithm Portfolios, clause learning, Distributed IC3, Distributed SMT, Divide and Conquer, Lookahead Heuristic, SMT solving, web-based GUI.
