Package - eprover

Package:  eprover
apt-get install eprover
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/e/eprover/eprover_3.2.5+ds-1_amd64.deb (Size: 1021.5KiB)

PropertyValue
Packageeprover
Version3.2.5+ds-1
Installed-Size9238
MaintainerDebian Math Team
Architectureamd64
Dependslibc6 (>= 2.34), picosat (>= 959)
DescriptionEquational theorem prover
Description-md50e7c1235cc3655c49ff9e11c3f5cd2b7
Homepagehttps://eprover.org
Sectionmath
Priorityoptional
Filenamepool/main/e/eprover/eprover_3.2.5+ds-1_amd64.deb
Size1046040
MD5sumb32242ba7957fb4d8eae777f83cff0cf
SHA2563646f4ff5703b1755d2242b9d1599be2da89719329a45a758459424d6b94fbaf

Files in package

  • /usr/bin/checkproof
  • /usr/bin/e_axfilter
  • /usr/bin/e_deduction_server
  • /usr/bin/e_ltb_runner
  • /usr/bin/e_stratpar
  • /usr/bin/eground
  • /usr/bin/ekb_create
  • /usr/bin/ekb_delete
  • /usr/bin/ekb_ginsert
  • /usr/bin/ekb_insert
  • /usr/bin/epclextract
  • /usr/bin/eprover
  • /usr/share/doc/eprover/changelog.Debian.gz
  • /usr/share/doc/eprover/copyright
  • /usr/share/man/man1/checkproof.1.gz
  • /usr/share/man/man1/e_axfilter.1.gz
  • /usr/share/man/man1/e_deduction_server.1.gz
  • /usr/share/man/man1/e_ltb_runner.1.gz
  • /usr/share/man/man1/e_stratpar.1.gz
  • /usr/share/man/man1/eground.1.gz
  • /usr/share/man/man1/ekb_create.1.gz
  • /usr/share/man/man1/ekb_delete.1.gz
  • /usr/share/man/man1/ekb_ginsert.1.gz
  • /usr/share/man/man1/ekb_insert.1.gz
  • /usr/share/man/man1/epclextract.1.gz
  • /usr/share/man/man1/eprover.1.gz