Bug#757048: ITP: cvc4 -- An automatic theorem prover for SMT problems

To: Morgan Deters <mdeters@cs.nyu.edu>, Michael Tautschnig <mt@debian.org>
Cc: 757048@bugs.debian.org
Subject: Bug#757048: ITP: cvc4 -- An automatic theorem prover for SMT problems
From: Clint Adams <clint@debian.org>
Date: Tue, 15 Dec 2015 22:01:37 +0000
Message-id: <[🔎] 20151215220137.GA24208@scru.org>
Reply-to: Clint Adams <clint@debian.org>, 757048@bugs.debian.org

What's going on with this?

Reply to: