[
Date Prev
][
Date Next
] [
Thread Prev
][
Thread Next
] [
Date Index
] [
Thread Index
]
Bug#757192: RFA: cvc3 - Automatic theorem prover for SMT problems
To
: "
submit@bugs.debian.org
" <
submit@bugs.debian.org
>
Subject
: Bug#757192: RFA: cvc3 - Automatic theorem prover for SMT problems
From
: Christopher L Conway <
cconway@cs.nyu.edu
>
Date
: Wed, 06 Aug 2014 05:34:42 +0000
Message-id
: <
[🔎]
CAFtUYSmndXorFuXvwtocz0=vR7dQ3_N3MX4+e83tOFG1COdvGA@mail.gmail.com
>
Reply-to
: Christopher L Conway <
cconway@cs.nyu.edu
>,
757192@bugs.debian.org
Package: wnpp
Severity: normal
X-Debbugs-CC:
mdeters@cs.nyu.edu
Reply to:
debian-wnpp@lists.debian.org
Christopher L Conway (on-list)
Christopher L Conway (off-list)
Follow-Ups
:
Bug#757192: RFA: cvc3 - Automatic theorem prover for SMT problems
From:
Morgan Deters <mdeters@morgandeters.com>
Prev by Date:
Bug#549409: status of CoinMP ITP?
Next by Date:
Bug#757193: ITP: libnumber-phone-perl -- base class for parsing and dealing with phone numbers
Previous by thread:
Processed: coinmp
Next by thread:
Bug#757192: RFA: cvc3 - Automatic theorem prover for SMT problems
Index(es):
Date
Thread