RTE

Brief: Software to run RTE using CandC's Nutcracker system
Jump To: Parent Description

  • While we have the project Free rte, there has since been released the CandC rte system. I am however having trouble getting this to work. It runs but the theorem prover does not return. I am trying to get ahold of the correct version of the vampire theorem prover.