You have searched for packages that names contain prover9 in all suites, all sections, and all architectures.
Found 3 matching packages.
Exact hits
Package prover9
- lenny (stable) (math):
theorem prover and countermodel generator
0.0.200806a-1: alpha amd64 arm armel hppa i386 ia64 mips mipsel powerpc s390 sparc
- squeeze (testing) (math):
theorem prover and countermodel generator
0.0.200902a-2: amd64 armel hppa i386 ia64 mips mipsel powerpc s390 sparc
- sid (unstable) (math):
theorem prover and countermodel generator
0.0.200902a-2: alpha amd64 armel avr32 hppa hurd-i386 i386 ia64 kfreebsd-amd64 kfreebsd-i386 m68k mips mipsel powerpc s390 sparc
Other hits
Package prover9-doc
- lenny (stable) (doc):
documentation for Prover9 and associated programs
0.0.200806a-1: all
- squeeze (testing) (doc):
documentation for Prover9 and associated programs
0.0.200902a-1: all
- sid (unstable) (doc):
documentation for Prover9 and associated programs
0.0.200902a-1: all
Package prover9-mace4
