View Java Class Source Code in JAR file
- Download JD-GUI to open JAR file and explore Java source code file (.class .java)
- Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window pardinus.core-1.3.0.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
kodkod.engine.fol2sat
├─ kodkod.engine.fol2sat.Bool2CNFTranslator.class - [JAR]
├─ kodkod.engine.fol2sat.ComplRelationReplacer.class - [JAR]
├─ kodkod.engine.fol2sat.Environment.class - [JAR]
├─ kodkod.engine.fol2sat.FOL2BoolCache.class - [JAR]
├─ kodkod.engine.fol2sat.FOL2BoolTranslator.class - [JAR]
├─ kodkod.engine.fol2sat.FileLogger.class - [JAR]
├─ kodkod.engine.fol2sat.FormulaFlattener.class - [JAR]
├─ kodkod.engine.fol2sat.FreeVariableCollector.class - [JAR]
├─ kodkod.engine.fol2sat.HigherOrderDeclException.class - [JAR]
├─ kodkod.engine.fol2sat.LeafInterpreter.class - [JAR]
├─ kodkod.engine.fol2sat.MemoryLogger.class - [JAR]
├─ kodkod.engine.fol2sat.NestedSet.class - [JAR]
├─ kodkod.engine.fol2sat.RecordFilter.class - [JAR]
├─ kodkod.engine.fol2sat.RelationCollector.class - [JAR]
├─ kodkod.engine.fol2sat.Skolemizer.class - [JAR]
├─ kodkod.engine.fol2sat.SymmetryBreaker.class - [JAR]
├─ kodkod.engine.fol2sat.SymmetryDetector.class - [JAR]
├─ kodkod.engine.fol2sat.Translation.class - [JAR]
├─ kodkod.engine.fol2sat.TranslationLog.class - [JAR]
├─ kodkod.engine.fol2sat.TranslationLogger.class - [JAR]
├─ kodkod.engine.fol2sat.TranslationRecord.class - [JAR]
├─ kodkod.engine.fol2sat.Translator.class - [JAR]
├─ kodkod.engine.fol2sat.UnboundLeafException.class - [JAR]
kodkod.examples.bmc
├─ kodkod.examples.bmc.List.class - [JAR]
├─ kodkod.examples.bmc.ListCheck.class - [JAR]
├─ kodkod.examples.bmc.ListDebug.class - [JAR]
├─ kodkod.examples.bmc.ListEncoding.class - [JAR]
├─ kodkod.examples.bmc.ListRepair.class - [JAR]
├─ kodkod.examples.bmc.ListSynth.class - [JAR]
├─ kodkod.examples.bmc.ListViz.class - [JAR]
├─ kodkod.examples.bmc.Node.class - [JAR]
kodkod.ast
├─ kodkod.ast.AtomRelation.class - [JAR]
├─ kodkod.ast.BinaryExpression.class - [JAR]
├─ kodkod.ast.BinaryFormula.class - [JAR]
├─ kodkod.ast.BinaryIntExpression.class - [JAR]
├─ kodkod.ast.BinaryTempFormula.class - [JAR]
├─ kodkod.ast.ComparisonFormula.class - [JAR]
├─ kodkod.ast.Comprehension.class - [JAR]
├─ kodkod.ast.ConstantExpression.class - [JAR]
├─ kodkod.ast.ConstantFormula.class - [JAR]
├─ kodkod.ast.Decl.class - [JAR]
├─ kodkod.ast.Decls.class - [JAR]
├─ kodkod.ast.ExprToIntCast.class - [JAR]
├─ kodkod.ast.Expression.class - [JAR]
├─ kodkod.ast.Formula.class - [JAR]
├─ kodkod.ast.IfExpression.class - [JAR]
├─ kodkod.ast.IfIntExpression.class - [JAR]
├─ kodkod.ast.IntComparisonFormula.class - [JAR]
├─ kodkod.ast.IntConstant.class - [JAR]
├─ kodkod.ast.IntExpression.class - [JAR]
├─ kodkod.ast.IntToExprCast.class - [JAR]
├─ kodkod.ast.LeafExpression.class - [JAR]
├─ kodkod.ast.MultiplicityFormula.class - [JAR]
├─ kodkod.ast.NaryExpression.class - [JAR]
├─ kodkod.ast.NaryFormula.class - [JAR]
├─ kodkod.ast.NaryIntExpression.class - [JAR]
├─ kodkod.ast.Node.class - [JAR]
├─ kodkod.ast.NotFormula.class - [JAR]
├─ kodkod.ast.ProjectExpression.class - [JAR]
├─ kodkod.ast.QuantifiedFormula.class - [JAR]
├─ kodkod.ast.Relation.class - [JAR]
├─ kodkod.ast.RelationPredicate.class - [JAR]
├─ kodkod.ast.SkolemRelation.class - [JAR]
├─ kodkod.ast.SumExpression.class - [JAR]
├─ kodkod.ast.TempExpression.class - [JAR]
├─ kodkod.ast.UnaryExpression.class - [JAR]
├─ kodkod.ast.UnaryIntExpression.class - [JAR]
├─ kodkod.ast.UnaryTempFormula.class - [JAR]
├─ kodkod.ast.VarRelation.class - [JAR]
├─ kodkod.ast.Variable.class - [JAR]
kodkod.engine.satlab
├─ kodkod.engine.satlab.Clause.class - [JAR]
├─ kodkod.engine.satlab.ExternalSolver.class - [JAR]
├─ kodkod.engine.satlab.Glucose.class - [JAR]
├─ kodkod.engine.satlab.Glucose41.class - [JAR]
├─ kodkod.engine.satlab.LazyTrace.class - [JAR]
├─ kodkod.engine.satlab.Lingeling.class - [JAR]
├─ kodkod.engine.satlab.MiniSat.class - [JAR]
├─ kodkod.engine.satlab.MiniSatProver.class - [JAR]
├─ kodkod.engine.satlab.NativeSolver.class - [JAR]
├─ kodkod.engine.satlab.PMaxSAT4J.class - [JAR]
├─ kodkod.engine.satlab.PMaxYicesExternal.class - [JAR]
├─ kodkod.engine.satlab.PMaxYicesNative.class - [JAR]
├─ kodkod.engine.satlab.ReductionStrategy.class - [JAR]
├─ kodkod.engine.satlab.ResolutionTrace.class - [JAR]
├─ kodkod.engine.satlab.SAT4J.class - [JAR]
├─ kodkod.engine.satlab.SATAbortedException.class - [JAR]
├─ kodkod.engine.satlab.SATFactory.class - [JAR]
├─ kodkod.engine.satlab.SATProver.class - [JAR]
├─ kodkod.engine.satlab.SATSolver.class - [JAR]
├─ kodkod.engine.satlab.TargetSATSolver.class - [JAR]
├─ kodkod.engine.satlab.WTargetSATSolver.class - [JAR]
├─ kodkod.engine.satlab.Yices.class - [JAR]
kodkod.instance
├─ kodkod.instance.Bounds.class - [JAR]
├─ kodkod.instance.Instance.class - [JAR]
├─ kodkod.instance.PardinusBounds.class - [JAR]
├─ kodkod.instance.TemporalInstance.class - [JAR]
├─ kodkod.instance.Tuple.class - [JAR]
├─ kodkod.instance.TupleFactory.class - [JAR]
├─ kodkod.instance.TupleSet.class - [JAR]
├─ kodkod.instance.Universe.class - [JAR]
kodkod.examples.alloy
├─ kodkod.examples.alloy.AbstractWorldDefinitions.class - [JAR]
├─ kodkod.examples.alloy.Bigconfig.class - [JAR]
├─ kodkod.examples.alloy.CeilingsAndFloors.class - [JAR]
├─ kodkod.examples.alloy.DNACuts.class - [JAR]
├─ kodkod.examples.alloy.DiffEg.class - [JAR]
├─ kodkod.examples.alloy.Dijkstra.class - [JAR]
├─ kodkod.examples.alloy.FileSystem.class - [JAR]
├─ kodkod.examples.alloy.GroupScheduling.class - [JAR]
├─ kodkod.examples.alloy.Handshake.class - [JAR]
├─ kodkod.examples.alloy.Hotel.class - [JAR]
├─ kodkod.examples.alloy.Lists.class - [JAR]
├─ kodkod.examples.alloy.Netconfig.class - [JAR]
├─ kodkod.examples.alloy.Pigeonhole.class - [JAR]
├─ kodkod.examples.alloy.RingElection.class - [JAR]
├─ kodkod.examples.alloy.Toughnut.class - [JAR]
├─ kodkod.examples.alloy.ToyFilesystem.class - [JAR]
├─ kodkod.examples.alloy.ToyLists.class - [JAR]
├─ kodkod.examples.alloy.Trees.class - [JAR]
├─ kodkod.examples.alloy.Viktor.class - [JAR]
kodkod.examples.csp
├─ kodkod.examples.csp.BlockedNQueens.class - [JAR]
├─ kodkod.examples.csp.BlockedNQueens2.class - [JAR]
├─ kodkod.examples.csp.Graph.class - [JAR]
├─ kodkod.examples.csp.GraphColoring.class - [JAR]
├─ kodkod.examples.csp.GraphColoring2.class - [JAR]
├─ kodkod.examples.csp.HamiltonianCycle.class - [JAR]
├─ kodkod.examples.csp.HamiltonianCycle2.class - [JAR]
├─ kodkod.examples.csp.LatinSquare.class - [JAR]
├─ kodkod.examples.csp.MagicSeries.class - [JAR]
├─ kodkod.examples.csp.NQueens.class - [JAR]
├─ kodkod.examples.csp.SocialGolfer.class - [JAR]
kodkod.examples.xpose
├─ kodkod.examples.xpose.Transpose4x4.class - [JAR]
├─ kodkod.examples.xpose.Transpose4x4UnaryL.class - [JAR]
├─ kodkod.examples.xpose.Transpose4x4UnaryLR.class - [JAR]
kodkod.examples.pardinus.decomp
├─ kodkod.examples.pardinus.decomp.AVLTreeP.class - [JAR]
├─ kodkod.examples.pardinus.decomp.BigconfigP.class - [JAR]
├─ kodkod.examples.pardinus.decomp.DModel.class - [JAR]
├─ kodkod.examples.pardinus.decomp.DiffEgP.class - [JAR]
├─ kodkod.examples.pardinus.decomp.DijkstraP.class - [JAR]
├─ kodkod.examples.pardinus.decomp.DijkstraR.class - [JAR]
├─ kodkod.examples.pardinus.decomp.DiningP.class - [JAR]
├─ kodkod.examples.pardinus.decomp.FilesystemP.class - [JAR]
├─ kodkod.examples.pardinus.decomp.HandshakeP.class - [JAR]
├─ kodkod.examples.pardinus.decomp.HandshakeR.class - [JAR]
├─ kodkod.examples.pardinus.decomp.HotelP.class - [JAR]
├─ kodkod.examples.pardinus.decomp.HotelR.class - [JAR]
├─ kodkod.examples.pardinus.decomp.JobsP.class - [JAR]
├─ kodkod.examples.pardinus.decomp.LiftP.class - [JAR]
├─ kodkod.examples.pardinus.decomp.ListsP.class - [JAR]
├─ kodkod.examples.pardinus.decomp.NetconfigP.class - [JAR]
├─ kodkod.examples.pardinus.decomp.PTCRISP.class - [JAR]
├─ kodkod.examples.pardinus.decomp.PeaceableP.class - [JAR]
├─ kodkod.examples.pardinus.decomp.RedBlackTreeP.class - [JAR]
├─ kodkod.examples.pardinus.decomp.RedBlackTreeR.class - [JAR]
├─ kodkod.examples.pardinus.decomp.RingP.class - [JAR]
├─ kodkod.examples.pardinus.decomp.RingR.class - [JAR]
├─ kodkod.examples.pardinus.decomp.SocialGolferP.class - [JAR]
├─ kodkod.examples.pardinus.decomp.SpanP.class - [JAR]
├─ kodkod.examples.pardinus.decomp.SpanR.class - [JAR]
├─ kodkod.examples.pardinus.decomp.SymmetryP.class - [JAR]
├─ kodkod.examples.pardinus.decomp.SymmetryS.class - [JAR]
kodkod.engine.ltl2fol
├─ kodkod.engine.ltl2fol.InvalidMutableExpressionException.class - [JAR]
├─ kodkod.engine.ltl2fol.LTL2FOLTranslator.class - [JAR]
├─ kodkod.engine.ltl2fol.NNFReplacer.class - [JAR]
├─ kodkod.engine.ltl2fol.TemporalBoundsExpander.class - [JAR]
├─ kodkod.engine.ltl2fol.TemporalTranslator.class - [JAR]
kodkod.ast.visitor
├─ kodkod.ast.visitor.AbstractCollector.class - [JAR]
├─ kodkod.ast.visitor.AbstractDetector.class - [JAR]
├─ kodkod.ast.visitor.AbstractReplacer.class - [JAR]
├─ kodkod.ast.visitor.AbstractVoidVisitor.class - [JAR]
├─ kodkod.ast.visitor.ReturnVisitor.class - [JAR]
├─ kodkod.ast.visitor.VoidVisitor.class - [JAR]
kodkod.engine.config
├─ kodkod.engine.config.AbstractReporter.class - [JAR]
├─ kodkod.engine.config.BoundedOptions.class - [JAR]
├─ kodkod.engine.config.ConsoleReporter.class - [JAR]
├─ kodkod.engine.config.DecomposedOptions.class - [JAR]
├─ kodkod.engine.config.ExtendedOptions.class - [JAR]
├─ kodkod.engine.config.FileReporter.class - [JAR]
├─ kodkod.engine.config.Options.class - [JAR]
├─ kodkod.engine.config.PardinusOptions.class - [JAR]
├─ kodkod.engine.config.Reporter.class - [JAR]
├─ kodkod.engine.config.SLF4JReporter.class - [JAR]
├─ kodkod.engine.config.TargetOptions.class - [JAR]
├─ kodkod.engine.config.TemporalOptions.class - [JAR]
├─ kodkod.engine.config.UnboundedOptions.class - [JAR]
kodkod.examples.sudoku
├─ kodkod.examples.sudoku.Sudoku.class - [JAR]
├─ kodkod.examples.sudoku.SudokuDatabase.class - [JAR]
├─ kodkod.examples.sudoku.SudokuParser.class - [JAR]
kodkod.ast.operator
├─ kodkod.ast.operator.ExprCastOperator.class - [JAR]
├─ kodkod.ast.operator.ExprCompOperator.class - [JAR]
├─ kodkod.ast.operator.ExprOperator.class - [JAR]
├─ kodkod.ast.operator.FormulaOperator.class - [JAR]
├─ kodkod.ast.operator.IntCastOperator.class - [JAR]
├─ kodkod.ast.operator.IntCompOperator.class - [JAR]
├─ kodkod.ast.operator.IntOperator.class - [JAR]
├─ kodkod.ast.operator.Multiplicity.class - [JAR]
├─ kodkod.ast.operator.Quantifier.class - [JAR]
├─ kodkod.ast.operator.TemporalOperator.class - [JAR]
kodkod.engine
├─ kodkod.engine.AbortedException.class - [JAR]
├─ kodkod.engine.AbstractKodkodSolver.class - [JAR]
├─ kodkod.engine.AbstractSolver.class - [JAR]
├─ kodkod.engine.BoundedSolver.class - [JAR]
├─ kodkod.engine.CapacityExceededException.class - [JAR]
├─ kodkod.engine.DProblemExecutor.class - [JAR]
├─ kodkod.engine.DProblemExecutorImpl.class - [JAR]
├─ kodkod.engine.DecomposedPardinusSolver.class - [JAR]
├─ kodkod.engine.DecomposedSolver.class - [JAR]
├─ kodkod.engine.ElectrodSolver.class - [JAR]
├─ kodkod.engine.Evaluator.class - [JAR]
├─ kodkod.engine.ExplorableSolver.class - [JAR]
├─ kodkod.engine.Explorer.class - [JAR]
├─ kodkod.engine.ExtendedSolver.class - [JAR]
├─ kodkod.engine.IncrementalSolver.class - [JAR]
├─ kodkod.engine.InvalidSolverParamException.class - [JAR]
├─ kodkod.engine.IterableSolver.class - [JAR]
├─ kodkod.engine.KodkodSolver.class - [JAR]
├─ kodkod.engine.PardinusSolver.class - [JAR]
├─ kodkod.engine.Proof.class - [JAR]
├─ kodkod.engine.ResolutionBasedProof.class - [JAR]
├─ kodkod.engine.Retargeter.class - [JAR]
├─ kodkod.engine.Solution.class - [JAR]
├─ kodkod.engine.Solver.class - [JAR]
├─ kodkod.engine.Statistics.class - [JAR]
├─ kodkod.engine.SymbolicSolver.class - [JAR]
├─ kodkod.engine.TargetOrientedSolver.class - [JAR]
├─ kodkod.engine.TemporalPardinusSolver.class - [JAR]
├─ kodkod.engine.TemporalSolver.class - [JAR]
├─ kodkod.engine.TrivialProof.class - [JAR]
├─ kodkod.engine.UnboundedSolver.class - [JAR]
kodkod.engine.ucore
├─ kodkod.engine.ucore.AdaptiveRCEStrategy.class - [JAR]
├─ kodkod.engine.ucore.CRRStrategy.class - [JAR]
├─ kodkod.engine.ucore.DynamicRCEStrategy.class - [JAR]
├─ kodkod.engine.ucore.ECFPStrategy.class - [JAR]
├─ kodkod.engine.ucore.HybridStrategy.class - [JAR]
├─ kodkod.engine.ucore.NCEStrategy.class - [JAR]
├─ kodkod.engine.ucore.RCEStrategy.class - [JAR]
├─ kodkod.engine.ucore.SCEStrategy.class - [JAR]
├─ kodkod.engine.ucore.StrategyUtils.class - [JAR]
kodkod.engine.unbounded
├─ kodkod.engine.unbounded.ElectrodPrinter.class - [JAR]
├─ kodkod.engine.unbounded.ElectrodReader.class - [JAR]
├─ kodkod.engine.unbounded.InvalidUnboundedProblem.class - [JAR]
├─ kodkod.engine.unbounded.InvalidUnboundedSolution.class - [JAR]
kodkod.examples.pardinus.temporal
├─ kodkod.examples.pardinus.temporal.BasicTemporal.class - [JAR]
├─ kodkod.examples.pardinus.temporal.DijkstraT.class - [JAR]
├─ kodkod.examples.pardinus.temporal.HotelT.class - [JAR]
├─ kodkod.examples.pardinus.temporal.RingT.class - [JAR]
├─ kodkod.examples.pardinus.temporal.RingT2.class - [JAR]
├─ kodkod.examples.pardinus.temporal.SpanT.class - [JAR]
├─ kodkod.examples.pardinus.temporal.SymmetryT.class - [JAR]
kodkod.engine.bool
├─ kodkod.engine.bool.BinaryGate.class - [JAR]
├─ kodkod.engine.bool.BooleanAccumulator.class - [JAR]
├─ kodkod.engine.bool.BooleanConstant.class - [JAR]
├─ kodkod.engine.bool.BooleanFactory.class - [JAR]
├─ kodkod.engine.bool.BooleanFormula.class - [JAR]
├─ kodkod.engine.bool.BooleanMatrix.class - [JAR]
├─ kodkod.engine.bool.BooleanValue.class - [JAR]
├─ kodkod.engine.bool.BooleanVariable.class - [JAR]
├─ kodkod.engine.bool.BooleanVisitor.class - [JAR]
├─ kodkod.engine.bool.CBCFactory.class - [JAR]
├─ kodkod.engine.bool.DefCond.class - [JAR]
├─ kodkod.engine.bool.Dimensions.class - [JAR]
├─ kodkod.engine.bool.ITEGate.class - [JAR]
├─ kodkod.engine.bool.Int.class - [JAR]
├─ kodkod.engine.bool.MultiGate.class - [JAR]
├─ kodkod.engine.bool.NaryGate.class - [JAR]
├─ kodkod.engine.bool.NotGate.class - [JAR]
├─ kodkod.engine.bool.Operator.class - [JAR]
├─ kodkod.engine.bool.RBCFactory.class - [JAR]
├─ kodkod.engine.bool.TwosComplementInt.class - [JAR]
kodkod.util.collections
├─ kodkod.util.collections.ArrayStack.class - [JAR]
├─ kodkod.util.collections.CacheSet.class - [JAR]
├─ kodkod.util.collections.Containers.class - [JAR]
├─ kodkod.util.collections.FixedMap.class - [JAR]
├─ kodkod.util.collections.IdentityHashSet.class - [JAR]
├─ kodkod.util.collections.Indexer.class - [JAR]
├─ kodkod.util.collections.LinkedStack.class - [JAR]
├─ kodkod.util.collections.SingletonIdentitySet.class - [JAR]
├─ kodkod.util.collections.Stack.class - [JAR]
kodkod.examples.pardinus.target
├─ kodkod.examples.pardinus.target.BaseRun.class - [JAR]
├─ kodkod.examples.pardinus.target.BaseRun2.class - [JAR]
├─ kodkod.examples.pardinus.target.Basic.class - [JAR]
├─ kodkod.examples.pardinus.target.Cd2Rdbms.class - [JAR]
├─ kodkod.examples.pardinus.target.Graph.class - [JAR]
├─ kodkod.examples.pardinus.target.Main.class - [JAR]
├─ kodkod.examples.pardinus.target.NoRetargeting.class - [JAR]
├─ kodkod.examples.pardinus.target.OwnGranpa.class - [JAR]
├─ kodkod.examples.pardinus.target.Simetria.class - [JAR]
├─ kodkod.examples.pardinus.target.Target.class - [JAR]
├─ kodkod.examples.pardinus.target.Weight_Test.class - [JAR]
kodkod.util.ints
├─ kodkod.util.ints.AbstractIntCollection.class - [JAR]
├─ kodkod.util.ints.AbstractIntSet.class - [JAR]
├─ kodkod.util.ints.AbstractIntVector.class - [JAR]
├─ kodkod.util.ints.AbstractSparseSequence.class - [JAR]
├─ kodkod.util.ints.ArrayIntSet.class - [JAR]
├─ kodkod.util.ints.ArrayIntVector.class - [JAR]
├─ kodkod.util.ints.ArraySequence.class - [JAR]
├─ kodkod.util.ints.EntryView.class - [JAR]
├─ kodkod.util.ints.HomogenousSequence.class - [JAR]
├─ kodkod.util.ints.IndexedEntry.class - [JAR]
├─ kodkod.util.ints.IntBitSet.class - [JAR]
├─ kodkod.util.ints.IntCollection.class - [JAR]
├─ kodkod.util.ints.IntIterator.class - [JAR]
├─ kodkod.util.ints.IntRange.class - [JAR]
├─ kodkod.util.ints.IntSet.class - [JAR]
├─ kodkod.util.ints.IntTree.class - [JAR]
├─ kodkod.util.ints.IntTreeSet.class - [JAR]
├─ kodkod.util.ints.IntVector.class - [JAR]
├─ kodkod.util.ints.Ints.class - [JAR]
├─ kodkod.util.ints.RangeSequence.class - [JAR]
├─ kodkod.util.ints.SparseSequence.class - [JAR]
├─ kodkod.util.ints.TreeSequence.class - [JAR]
kodkod.util.nodes
├─ kodkod.util.nodes.AnnotatedNode.class - [JAR]
├─ kodkod.util.nodes.Nodes.class - [JAR]
├─ kodkod.util.nodes.PrettyPrinter.class - [JAR]
kodkod.engine.decomp
├─ kodkod.engine.decomp.DMonitor.class - [JAR]
├─ kodkod.engine.decomp.DMonitorImpl.class - [JAR]
├─ kodkod.engine.decomp.DProblem.class - [JAR]
├─ kodkod.engine.decomp.DecompFormulaSlicer.class - [JAR]
├─ kodkod.engine.decomp.IProblem.class - [JAR]
kodkod.examples.tptp
├─ kodkod.examples.tptp.ALG195.class - [JAR]
├─ kodkod.examples.tptp.ALG195_1.class - [JAR]
├─ kodkod.examples.tptp.ALG197.class - [JAR]
├─ kodkod.examples.tptp.ALG212.class - [JAR]
├─ kodkod.examples.tptp.COM008.class - [JAR]
├─ kodkod.examples.tptp.GEO091.class - [JAR]
├─ kodkod.examples.tptp.GEO092.class - [JAR]
├─ kodkod.examples.tptp.GEO115.class - [JAR]
├─ kodkod.examples.tptp.GEO158.class - [JAR]
├─ kodkod.examples.tptp.GEO159.class - [JAR]
├─ kodkod.examples.tptp.GRA013_026.class - [JAR]
├─ kodkod.examples.tptp.LAT258.class - [JAR]
├─ kodkod.examples.tptp.MED001.class - [JAR]
├─ kodkod.examples.tptp.MED007.class - [JAR]
├─ kodkod.examples.tptp.MED009.class - [JAR]
├─ kodkod.examples.tptp.MGT066.class - [JAR]
├─ kodkod.examples.tptp.NUM374.class - [JAR]
├─ kodkod.examples.tptp.NUM378.class - [JAR]
├─ kodkod.examples.tptp.Quasigroups7.class - [JAR]
├─ kodkod.examples.tptp.SET943.class - [JAR]
├─ kodkod.examples.tptp.SET948.class - [JAR]
├─ kodkod.examples.tptp.SET967.class - [JAR]
├─ kodkod.examples.tptp.TOP020.class - [JAR]
