coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] veriT + SMTCoq on Windows (was: Puzzle: NYC Guys)

From: Chantal Keller <chantal.keller AT wanadoo.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] veriT + SMTCoq on Windows (was: Puzzle: NYC Guys)
Date: Mon, 17 Oct 2016 13:57:33 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=chantal.keller AT wanadoo.fr; spf=None smtp.mailfrom=chantal.keller AT wanadoo.fr; spf=None smtp.helo=postmaster AT mx2.u-psud.fr
Ironport-phdr: 9a23:JETXaR/wCq4MUv9uRHKM819IXTAuvvDOBiVQ1KB+1OIcTK2v8tzYMVDF4r011RmSDN+dtqgP0Lue8/i5HzdfsdDZ6DFKWacPfiFGoP1epxYnDs+BBB+zB9/RRAt+Iv5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkImbtjyT4XVloG80/2405zVeQRBwjSnMp1oKxDjhgXYsNUfhcNBJ6I1xwGB9nBIcuJKzGcuJl+Xmxvmzti5+pdv9CMWteh3pJ0IarnzY6ltFe8QNz8hKW1gvMA=

Hi Michael,

Not as far as I know. Please report bugs on github
<https://github.com/smtcoq/smtcoq> if you find any.

Regards,
Chantal.

Le 17/10/2016 à 13:52, Soegtrop, Michael a écrit :
> Dear Laurent,
>
>> So if you have SMTcoq and veriT on your machine, the puzzle is proved
>> automatically in 1 second!
>
> One quick question: has veriT + SMTCoq has been tested on Windows?
>
> Best regards,
>
> Michael
> Intel Deutschland GmbH
> Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
> Tel: +49 89 99 8853-0, www.intel.de
> Managing Directors: Christin Eisenschmid, Christian Lamprechter
> Chairperson of the Supervisory Board: Nicole Lau
> Registered Office: Munich
> Commercial Register: Amtsgericht Muenchen HRB 186928
>

[Coq-Club] veriT + SMTCoq on Windows (was: Puzzle: NYC Guys), Soegtrop, Michael, 10/17/2016
- Re: [Coq-Club] veriT + SMTCoq on Windows (was: Puzzle: NYC Guys), Chantal Keller, 10/17/2016