coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] veriT + SMTCoq on Windows (was: Puzzle: NYC Guys)
Date: Mon, 17 Oct 2016 11:52:11 +0000
Accept-language: de-DE, en-US
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=michael.soegtrop AT intel.com; spf=Pass smtp.mailfrom=michael.soegtrop AT intel.com; spf=None smtp.helo=postmaster AT mga09.intel.com
Ironport-phdr: 9a23:Q4cpGx2EPPdOkKTdsmDT+DRfVm0co7zxezQtwd8ZsegQL/ad9pjvdHbS+e9qxAeQG96KsbQZ0aGN4ujJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMzfbWvXNOIxJ/mn8mJuLTrKz1SgzS8Zb4gZD6Xli728vcsvI15N6wqwQHIqHYbM85fxGdvOE7B102kvpT4r9Zf9HEasPU4ssVETK/SfqIiTLUeAi5sezQ+49Suvh3eRyOO4GEdWyMYiEwbLRLC6USwZZD8vTfgsfI5kAybNs3/QLR+EWCn7qxrQRLszjwAOjEl6mbPos12kK9f5hmmokoskMbvfIiJOa8mLevmdtQASD8ZUw==

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