at
.
logic
.
gapt
.
provers
basicProver
package
basicProver
Visibility
Public
All
Value Members
object
BasicProver
extends
OneShotProver
Uses our propositional prover to get LK proof andsat4j for validity check
Ungrouped