ap
Prover that tries to solve a given problem using a number of different strategies in parallel. Each individual strategy is run using the IntelliFileProver class.
IntelliFileProver
Prover that tries to solve a given problem using a number of different strategies in parallel. Each individual strategy is run using the
IntelliFileProver
class.