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

Implements solving for nonlinear integer arithmetic using incremental linearization. This module was implemented in [26] based on [1].