2 \defgroup big-int big-int
8 CPROVER is distributed with its own multi-precision arithmetic library;
9 mainly for historical and portability reasons. The library is externally
10 developed and thus `big-int` contains the source as it is distributed:
11 [http://www.dirk-zoller.de/](http://www.dirk-zoller.de/).
13 This should not be used directly, see `util/mp_arith.h` for the CPROVER