Download skeptik_2.9.1-0.1.jar
skeptik/skeptik_2.9.1-0.1.jar.zip( 790 k)
The download jar file contains the following class files or Java source files.
META-INF/MANIFEST.MF
at.logic.skeptik.Main.class
at.logic.skeptik.algorithm.compressor.AbstractRPIAlgorithm.class
at.logic.skeptik.algorithm.compressor.AbstractRPILUAlgorithm.class
at.logic.skeptik.algorithm.compressor.CollectEdgesUsingSafeLiterals.class
at.logic.skeptik.algorithm.compressor.DAGification.class
at.logic.skeptik.algorithm.compressor.Intersection.class
at.logic.skeptik.algorithm.compressor.LeftHeuristic.class
at.logic.skeptik.algorithm.compressor.MinConclusionHeuristic.class
at.logic.skeptik.algorithm.compressor.MinProofHeuristic.class
at.logic.skeptik.algorithm.compressor.NewUnitLowering.class
at.logic.skeptik.algorithm.compressor.ProofFixing.class
at.logic.skeptik.algorithm.compressor.RecyclePivots.class
at.logic.skeptik.algorithm.compressor.Regularization.class
at.logic.skeptik.algorithm.compressor.UnitLowering.class
at.logic.skeptik.algorithm.compressor.UnitsCollectingBeforeFixing.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.AbstractThreePassLower.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.AddEval.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.AlwaysLowerIrregularUnits.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.AlwaysRegularizeIrregularUnits.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.DiscreteCollector.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.IrregularUnits.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.MinEval.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.MinLoweringChoice.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.MinRegularizationChoice.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.MinRegularizationEvaluation.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.OnePassPseudoUnits.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.PseudoUnits.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.PseudoUnitsAfter.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.PseudoUnitsBefore.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.PseudoUnitsDuringFixing.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.PseudoUnitsNotDuringFixing.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.QuadraticCollector.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.RegularizationEvaluation.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.RegularizationInformation.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.RegularizeIfPossible.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.ThreePassLower.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.pseudoUnits.DeletableNode.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.pseudoUnits.NodeKind.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.pseudoUnits.OrdinaryNode.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.pseudoUnits.PseudoUnit.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.pseudoUnits.isPseudoUnit.class
at.logic.skeptik.algorithm.compressor.outIntersection.class
at.logic.skeptik.algorithm.generator.FormulaGenerator.class
at.logic.skeptik.algorithm.unifier.MartelliMontanari.class
at.logic.skeptik.experiment.compression.AbstractWrappedAlgorithm.class
at.logic.skeptik.experiment.compression.CompositeMeasure.class
at.logic.skeptik.experiment.compression.DumbMeasure.class
at.logic.skeptik.experiment.compression.DumbMeasurer.class
at.logic.skeptik.experiment.compression.Duration.class
at.logic.skeptik.experiment.compression.DurationMeasuredFunction1.class
at.logic.skeptik.experiment.compression.Experimenter.class
at.logic.skeptik.experiment.compression.Measure.class
at.logic.skeptik.experiment.compression.Measurer.class
at.logic.skeptik.experiment.compression.MeasurerFactory.class
at.logic.skeptik.experiment.compression.NoStateMeasure.class
at.logic.skeptik.experiment.compression.PercentMeasure.class
at.logic.skeptik.experiment.compression.Repeating.class
at.logic.skeptik.experiment.compression.RepeatingOldAlgorithm.class
at.logic.skeptik.experiment.compression.RepeatingSequentAlgorithm.class
at.logic.skeptik.experiment.compression.Report.class
at.logic.skeptik.experiment.compression.WrappedAlgorithm.class
at.logic.skeptik.experiment.compression.WrappedAlgorithmFactory.class
at.logic.skeptik.experiment.compression.WrappedOldAlgorithm.class
at.logic.skeptik.experiment.compression.WrappedSequentAlgorithm.class
at.logic.skeptik.experiment.proving.ProverExperiment.class
at.logic.skeptik.exporter.package.class
at.logic.skeptik.expression.Abs.class
at.logic.skeptik.expression.App.class
at.logic.skeptik.expression.Arrow.class
at.logic.skeptik.expression.Atomic.class
at.logic.skeptik.expression.AtomicType.class
at.logic.skeptik.expression.E.class
at.logic.skeptik.expression.Infix.class
at.logic.skeptik.expression.RichString.class
at.logic.skeptik.expression.T.class
at.logic.skeptik.expression.Var.class
at.logic.skeptik.expression.formula.All.class
at.logic.skeptik.expression.formula.And.class
at.logic.skeptik.expression.formula.Atom.class
at.logic.skeptik.expression.formula.BinaryFormula.class
at.logic.skeptik.expression.formula.Ex.class
at.logic.skeptik.expression.formula.Formula.class
at.logic.skeptik.expression.formula.Imp.class
at.logic.skeptik.expression.formula.Neg.class
at.logic.skeptik.expression.formula.Or.class
at.logic.skeptik.expression.formula.QuantifierFormula.class
at.logic.skeptik.expression.formula.RichFormula.class
at.logic.skeptik.expression.formula.UnaryFormula.class
at.logic.skeptik.expression.formula.package.class
at.logic.skeptik.expression.formula.position.EmptyP.class
at.logic.skeptik.expression.formula.position.IntListPosition.class
at.logic.skeptik.expression.i.class
at.logic.skeptik.expression.o.class
at.logic.skeptik.expression.package.class
at.logic.skeptik.expression.position.ComposedPosition.class
at.logic.skeptik.expression.position.EmptyPosition.class
at.logic.skeptik.expression.position.IndexedPosition.class
at.logic.skeptik.expression.position.InexistentPositionException.class
at.logic.skeptik.expression.position.OrPosition.class
at.logic.skeptik.expression.position.Position.class
at.logic.skeptik.expression.position.PredicatePosition.class
at.logic.skeptik.expression.position.SinglePosition.class
at.logic.skeptik.expression.position.TotalPosition.class
at.logic.skeptik.expression.substitution.AbstractSubstitution.class
at.logic.skeptik.expression.substitution.immutable.Substitution.class
at.logic.skeptik.expression.substitution.mutable.Substitution.class
at.logic.skeptik.help.class
at.logic.skeptik.judgment.ASequent.class
at.logic.skeptik.judgment.Judgment.class
at.logic.skeptik.judgment.NamedE.class
at.logic.skeptik.judgment.NaturalSequent.class
at.logic.skeptik.judgment.Sequent.class
at.logic.skeptik.judgment.immutable.SetSequent.class
at.logic.skeptik.judgment.mutable.SetSequent.class
at.logic.skeptik.parser.ProofParser.class
at.logic.skeptik.parser.SimplePropositionalResolutionProofFormatParser.class
at.logic.skeptik.proof.GenBinary.class
at.logic.skeptik.proof.GenNullary.class
at.logic.skeptik.proof.GenUnary.class
at.logic.skeptik.proof.Proof.class
at.logic.skeptik.proof.ProofNodeCollection.class
at.logic.skeptik.proof.natural.Assumption.class
at.logic.skeptik.proof.natural.Binary.class
at.logic.skeptik.proof.natural.ImpElim.class
at.logic.skeptik.proof.natural.ImpElimC.class
at.logic.skeptik.proof.natural.ImpElimCArrow.class
at.logic.skeptik.proof.natural.ImpIntro.class
at.logic.skeptik.proof.natural.ImpIntroC.class
at.logic.skeptik.proof.natural.ImpIntroCK.class
at.logic.skeptik.proof.natural.ImpIntroCRule.class
at.logic.skeptik.proof.natural.IntuitionisticSoundnessCondition.class
at.logic.skeptik.proof.natural.LeftArrow.class
at.logic.skeptik.proof.natural.NaturalDeductionProof.class
at.logic.skeptik.proof.natural.Nullary.class
at.logic.skeptik.proof.natural.RightArrow.class
at.logic.skeptik.proof.natural.Unary.class
at.logic.skeptik.proof.natural.isomorphismCurryHoward.CurryHoward.class
at.logic.skeptik.proof.natural.nameFactory.class
at.logic.skeptik.proof.oldResolution.Clause.class
at.logic.skeptik.proof.oldResolution.Input.class
at.logic.skeptik.proof.oldResolution.L.class
at.logic.skeptik.proof.oldResolution.Proof.class
at.logic.skeptik.proof.oldResolution.Resolvent.class
at.logic.skeptik.proof.oldResolution.defs.class
at.logic.skeptik.proof.oldResolution.typeAliases.class
at.logic.skeptik.proof.sequent.Binary.class
at.logic.skeptik.proof.sequent.BothInAnt.class
at.logic.skeptik.proof.sequent.BothInSuc.class
at.logic.skeptik.proof.sequent.ImplicitContraction.class
at.logic.skeptik.proof.sequent.InAnt.class
at.logic.skeptik.proof.sequent.InSuc.class
at.logic.skeptik.proof.sequent.Left.class
at.logic.skeptik.proof.sequent.LeftInSucRightInAnt.class
at.logic.skeptik.proof.sequent.NoAuxFormula.class
at.logic.skeptik.proof.sequent.NoImplicitContraction.class
at.logic.skeptik.proof.sequent.NoMainFormula.class
at.logic.skeptik.proof.sequent.Nullary.class
at.logic.skeptik.proof.sequent.OnePerAntecedent.class
at.logic.skeptik.proof.sequent.OnePerCedent.class
at.logic.skeptik.proof.sequent.OnePerSuccedent.class
at.logic.skeptik.proof.sequent.Right.class
at.logic.skeptik.proof.sequent.SequentProof.class
at.logic.skeptik.proof.sequent.SingleAuxFormula.class
at.logic.skeptik.proof.sequent.SingleMainFormula.class
at.logic.skeptik.proof.sequent.TwoAuxFormulas.class
at.logic.skeptik.proof.sequent.Unary.class
at.logic.skeptik.proof.sequent.lk.AbstractCut.class
at.logic.skeptik.proof.sequent.lk.AllL.class
at.logic.skeptik.proof.sequent.lk.AllR.class
at.logic.skeptik.proof.sequent.lk.AndL.class
at.logic.skeptik.proof.sequent.lk.AndR.class
at.logic.skeptik.proof.sequent.lk.AuxiliaryFormulaNotFoundException.class
at.logic.skeptik.proof.sequent.lk.Axiom.class
at.logic.skeptik.proof.sequent.lk.AxiomTaut.class
at.logic.skeptik.proof.sequent.lk.Cut.class
at.logic.skeptik.proof.sequent.lk.CutIC.class
at.logic.skeptik.proof.sequent.lk.EigenvariableCondition.class
at.logic.skeptik.proof.sequent.lk.ExL.class
at.logic.skeptik.proof.sequent.lk.ExR.class
at.logic.skeptik.proof.sequent.lk.WeakeningL.class
at.logic.skeptik.proof.sequent.resolution.R.class
at.logic.skeptik.prover.InferenceRule.class
at.logic.skeptik.prover.Prover.class
at.logic.skeptik.prover.SimpleProver.class
at.logic.skeptik.prover.package.class
at.logic.skeptik.util.argMin.class
at.logic.skeptik.util.debug.class
at.logic.skeptik.util.time.class
at.logic.skeptik.util.unicode.class
Related examples in the same category