an example illustrating the use of different arithmetic op representations for use with Z3 while disabling the non-linear arithmetic solver
an example illustrating the use of different arithmetic op representations for use with Z3 while disabling the non-linear arithmetic solver

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,A-Manning/FStar