cprover
big-int/README.md
Go to the documentation of this file.
1 \ingroup module_hidden
2 \defgroup big-int big-int
3 
4 # Folder big-int
5 
6 \author Martin Brain
7 
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/).
12 
13 This should not be used directly, see `util/mp_arith.h` for the CPROVER
14 interface.