[
Date Prev
][
Date Next
] [
Thread Prev
][
Thread Next
] [
Date Index
] [
Thread Index
]
Bug#757192: RFA: cvc3 - Automatic theorem prover for SMT problems
To
:
757192@bugs.debian.org
Subject
: Bug#757192: RFA: cvc3 - Automatic theorem prover for SMT problems
From
: Morgan Deters <
mdeters@morgandeters.com
>
Date
: Wed, 6 Aug 2014 08:25:59 -0400
Message-id
: <
[🔎]
CANE73x4DZYx2vy6x0_tNsPr3oVTQcq-yPMiQm6N7VgPOkf=dNg@mail.gmail.com
>
Reply-to
: Morgan Deters <
mdeters@morgandeters.com
>,
757192@bugs.debian.org
In-reply-to
: <
[🔎]
CAFtUYSmndXorFuXvwtocz0=vR7dQ3_N3MX4+e83tOFG1COdvGA@mail.gmail.com
>
References
: <
[🔎]
CAFtUYSmndXorFuXvwtocz0=vR7dQ3_N3MX4+e83tOFG1COdvGA@mail.gmail.com
>
retitle 757192 ITA: cvc3 - Automatic theorem prover for SMT problems
owner 757192 !
Reply to:
debian-wnpp@lists.debian.org
Morgan Deters (on-list)
Morgan Deters (off-list)
References
:
Bug#757192: RFA: cvc3 - Automatic theorem prover for SMT problems
From:
Christopher L Conway <cconway@cs.nyu.edu>
Prev by Date:
Bug#757231: RFA: php-cas -- Central Authentication Service client library in php
Next by Date:
Processed: your mail
Previous by thread:
Bug#757192: RFA: cvc3 - Automatic theorem prover for SMT problems
Next by thread:
Bug#757193: ITP: libnumber-phone-perl -- base class for parsing and dealing with phone numbers
Index(es):
Date
Thread