38 Native.Z3_get_finite_domain_sort_size(
Context.nCtx, NativeObject, ref res);
The main interaction with Z3 happens via the Context.
ulong Size
The size of the finite domain sort.
Z3_sort Z3_API Z3_mk_finite_domain_sort(Z3_context c, Z3_symbol name, uint64_t size)
Create a named finite domain sort.