Download skeptik_2.10-1.0.jar
skeptik/skeptik_2.10-1.0.jar.zip( 982 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.AbstractReduceAndReconstruct.class
at.logic.skeptik.algorithm.compressor.AbstractSplit.class
at.logic.skeptik.algorithm.compressor.CollectEdgesUsingSafeLiterals.class
at.logic.skeptik.algorithm.compressor.CompressorAlgorithm.class
at.logic.skeptik.algorithm.compressor.CottonSplit.class
at.logic.skeptik.algorithm.compressor.DAGification.class
at.logic.skeptik.algorithm.compressor.DeterministicChoice.class
at.logic.skeptik.algorithm.compressor.IdempotentAlgorithm.class
at.logic.skeptik.algorithm.compressor.IdempotentRecyclePivotsWithIntersection.class
at.logic.skeptik.algorithm.compressor.Intersection.class
at.logic.skeptik.algorithm.compressor.MultiSplit.class
at.logic.skeptik.algorithm.compressor.NewUnitLowering.class
at.logic.skeptik.algorithm.compressor.ProofNodeFixing.class
at.logic.skeptik.algorithm.compressor.RRWithA2OnChild.class
at.logic.skeptik.algorithm.compressor.RRWithoutA2.class
at.logic.skeptik.algorithm.compressor.RandomChoice.class
at.logic.skeptik.algorithm.compressor.RandomCompressionRepeatableAlgorithm.class
at.logic.skeptik.algorithm.compressor.RecyclePivots.class
at.logic.skeptik.algorithm.compressor.RecyclePivotsWithIntersection.class
at.logic.skeptik.algorithm.compressor.ReduceAndReconstruct.class
at.logic.skeptik.algorithm.compressor.Regularization.class
at.logic.skeptik.algorithm.compressor.RepeatableAlgorithm.class
at.logic.skeptik.algorithm.compressor.RepeatableWhileCompressingAlgorithm.class
at.logic.skeptik.algorithm.compressor.Split.class
at.logic.skeptik.algorithm.compressor.TerminatingSplit.class
at.logic.skeptik.algorithm.compressor.TerminatingSplitDeterministic.class
at.logic.skeptik.algorithm.compressor.TerminatingSplitRandom.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.CollectUnivalentsDuringFixing.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.CollectUnivalentsDuringFixingWithOpt.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.DiscreteCollector.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.IdempotentIrregularUnitsLower.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.IdempotentIrregularUnitsRegularize.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.IdempotentLowerUnivalentsAfterRecyclePivots.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.IdempotentLowerUnivalentsAfterRecyclePivotsOpt.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.IdempotentLowerUnivalentsBeforeRecyclePivots.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.IdempotentRegularizationEvaluationLoweringChoice.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.IdempotentRegularizationEvaluationQuadraticHeuristic.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.IdempotentRegularizationEvaluationRegularizeIfPossible.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.IdempotentRegularizationInformationRegularizationChoice.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.IdempotentThreePassLowerUnits.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.IrregularUnits.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.LowerUnivalents.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.LowerUnivalentsAfterRecyclePivots.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.LowerUnivalentsAfterRecyclePivotsWithOpt.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.LowerUnivalentsBeforeRecyclePivots.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.LowerUnivalentsOpt.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.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.ThreePassLowerUnits.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.lowerableUnivalent.DeletableNode.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.lowerableUnivalent.LowerableUnivalent.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.lowerableUnivalent.NodeKind.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.lowerableUnivalent.OrdinaryNode.class
at.logic.skeptik.algorithm.compressor.combinedRPILU.lowerableUnivalent.isLowerableUnivalent.class
at.logic.skeptik.algorithm.compressor.guard.Guard.class
at.logic.skeptik.algorithm.compressor.guard.package.class
at.logic.skeptik.algorithm.compressor.oldDAGification.class
at.logic.skeptik.algorithm.compressor.outIntersection.class
at.logic.skeptik.algorithm.compressor.package.class
at.logic.skeptik.algorithm.generator.FormulaGenerator.class
at.logic.skeptik.algorithm.unifier.MartelliMontanari.class
at.logic.skeptik.experiment.compression.DoubleMeasure.class
at.logic.skeptik.experiment.compression.DoublePercentMeasure.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.IntMeasure.class
at.logic.skeptik.experiment.compression.IntPercentMeasure.class
at.logic.skeptik.experiment.compression.Measure.class
at.logic.skeptik.experiment.compression.Result.class
at.logic.skeptik.experiment.compression.TimeOutAlgorithm.class
at.logic.skeptik.experiment.compression.WrappedAlgorithm.class
at.logic.skeptik.experiment.compression.environment.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.Judgment.class
at.logic.skeptik.judgment.NamedE.class
at.logic.skeptik.judgment.NaturalSequent.class
at.logic.skeptik.judgment.Sequent.class
at.logic.skeptik.judgment.SequentLike.class
at.logic.skeptik.judgment.immutable.SeqSequent.class
at.logic.skeptik.judgment.immutable.SetSequent.class
at.logic.skeptik.judgment.mutable.SequentLike.class
at.logic.skeptik.judgment.mutable.SetSequent.class
at.logic.skeptik.parser.ProofNodeParser.class
at.logic.skeptik.parser.SMT2Parser.class
at.logic.skeptik.parser.SimplePropositionalResolutionProofNodeFormatParser.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.ProofNode.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.NaturalDeductionProofNode.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.ProofNode.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.SequentProofNode.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.rich.class
at.logic.skeptik.util.time.class
at.logic.skeptik.util.unicode.class
Related examples in the same category