looks good to me, although maybe make COMMENT lower case? ok daniel@
On Sun, Feb 12, 2017 at 7:59 AM, Remi Pointel <[email protected]> wrote: > Hi, > > attached is the port of z3, a theorem prover from Microsoft Research > licensed under the MIT license. > > Ok? > > Cheers, > > Remi.
