Daniel, Christopher, > Hi, > > Very interesting package; I was considering packaging it myself over the > holiday season but it looks like you beat me to it! > > On 12/09/2009 11:57 AM, Christopher L Conway wrote: > > Dear mentors, > > > > I am looking for a sponsor for my package "cvc3". Please CC: me in any > > reply. > > > > * Package name : cvc3 > > Version : 2.2-1 > > Upstream Author : Clark Barrett <barr...@cs.nyu.edu>, Cesare Tinelli > > <tine...@cs.uiowa.edu> > > * URL : http://www.cs.nyu.edu/acsys/cvc3/ > > * License : BSD > > Section : math > > > > It builds these binary packages: > > cvc3 - An automatic theorem prover for SMT problems > > libcvc3-2 - An automatic theorem prover library for SMT problems > > libcvc3-2-dev - An automatic theorem prover library for SMT problems > > (development > > libcvc3-2-java - Java bindings for CVC3 (bytecode library) > > libcvc3-2-jni - Java bindings for CVC3 (native library) > > Is there any reason you aren't building a cvc3-el package containing > emacs/cvc3-mode.el? If you want examples of how to simply do this you > can check out cmuscheme48-el or prolog-el. >
I'm not quite sure whether you still need someone to sponsor this. If you do so, I'd be interested to help out as I sometimes use CVC3 myself. Best, Michael
pgp4YsVen5wUs.pgp
Description: PGP signature
