Bug#757192: RFA: cvc3 - Automatic theorem prover for SMT problems

retitle 757192 ITA: cvc3 - Automatic theorem prover for SMT problems owner 757192 !

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

ere are a few things I'd like to improve with the package, but may need some assistance. Thanks, Morgan -- Morgan Deters Senior Research Scientist Courant Institute of Mathematical Sciences 251 Mercer St., New York, NY 10012 mdet...@cs.nyu.edu - http://cs.nyu.edu/~mdeters/

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

Package: wnpp Severity: wishlist Owner: Morgan Deters * Package name: cvc4 Version : 1.4 Upstream Author : Morgan Deters * URL : http://cvc4.cs.nyu.edu/ * License : BSD Programming Lang: C++ Description : An automatic theorem prover for SMT problems

Bug#315615: autofs: no NIS automount maps on boot

Package: autofs Version: 4.1.4-4 Severity: normal With the recent update to autofs/unstable, autofs now starts at level 19 (just before NIS, also at 19). This fixes 252114 but breaks NIS automounting (as noted in the discussion of 163116, autofs really needs to start between 19 and 20, nis script

Bug#295708: kernel-patch-grsecurity2: apply script on 2.6.10 only applies -as2 but not grsecurity2

Package: kernel-patch-grsecurity2 Version: 2.1.1-1 Severity: normal The apply script in this package will select and apply *only* the -as2 patch when building 2.6.10. The result is a 2.6.10-as2 image that does *NOT* actually include any grsecurity2 stuff. Thanks.. -- System Information: Debian