z3-src 503.3.0

Source distribution of the Z3 SMT solver, for use as a build dependency
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

void        gparams_register_modules(){}
void mem_initialize() {}
void mem_finalize() {}
#include "util/rational.h"
namespace lp {
void test_lp_local(int argc, char**argv);
}
int main(int argn, char**argv){
    rational::initialize();
    lp::test_lp_local(argn, argv);
    rational::finalize();
    return 0;
}