z3-src 503.2.2

Source distribution of the Z3 SMT solver, for use as a build dependency
Documentation 
1
2
3
4

#pragma once

unsigned read_tptp(char const* file_name);
unsigned read_tptp_string(char const* input);