JavaRes/src/atp at master · eprover/JavaRes · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
BacktrackSubstitution.java		BacktrackSubstitution.java
BareFormula.java		BareFormula.java
Clause.java		Clause.java
ClauseEvaluationFunction.java		ClauseEvaluationFunction.java
ClauseSet.java		ClauseSet.java
Clausifier.java		Clausifier.java
EqAxioms.java		EqAxioms.java
EvalStructure.java		EvalStructure.java
FIFOEvaluation.java		FIFOEvaluation.java
Formula.java		Formula.java
HeuristicClauseSet.java		HeuristicClauseSet.java
KIF.java		KIF.java
Lexer.java		Lexer.java
Literal.java		Literal.java
ProofState.java		ProofState.java
Prover1.java		Prover1.java
Prover2.java		Prover2.java
ResControl.java		ResControl.java
Resolution.java		Resolution.java
SINE.java		SINE.java
Signature.java		Signature.java
SimpleProofState.java		SimpleProofState.java
SmallCNFization.java		SmallCNFization.java
StreamTokenizer_s.java		StreamTokenizer_s.java
Substitutions.java		Substitutions.java
Subsumption.java		Subsumption.java
SymbolCountEvaluation.java		SymbolCountEvaluation.java
Term.java		Term.java
TestGenerator.java		TestGenerator.java
Unification.java		Unification.java

Expand file tree