SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
NRAILModule

This module implements incremental linearization as described in [25], roughly following [4] and [16]. In addition, it implements an ICP-based axiom instantiation.