ekrhyper

Automated first-order theorem prover

Name
ekrhyper
Programs
  • ekrh
  • ekrh-casc-config.tme
  • ekrh-casc-config_ltb.tme
  • ekrh-casc-config_ltb_debug.tme
  • ekrh-casc-ekrhyper
  • ekrh-casc-ekrhyper_ltb.pl
  • ekrh-casc-run.tme
Version
1_4_21022014
License
Maintainers
Platforms
  • aarch64-linux
  • armv5tel-linux
  • armv6l-linux
  • armv7a-linux
  • armv7l-linux
  • i686-linux
  • loongarch64-linux
  • m68k-linux
  • microblaze-linux
  • microblazeel-linux
  • mips-linux
  • mips64-linux
  • mips64el-linux
  • mipsel-linux
  • powerpc-linux
  • powerpc64-linux
  • powerpc64le-linux
  • riscv32-linux
  • riscv64-linux
  • s390-linux
  • s390x-linux
  • x86_64-linux
Defined
Source