All Downloads are FREE. Search and download functionalities are using the official Maven repository.
Search JAR files by class name

Download keyext.slicing JAR 2.12.3 with all dependencies


Computiation of the proof core (the essential rule applications to close a proof)

Files of the artifact keyext.slicing version 2.12.3 from the group org.key-project.

Artifact keyext.slicing
Group org.key-project
Version 2.12.3
Last update 06. November 2024
Tags: slicing nodes system unnecessary proof removing
Organization not specified
URL https://key-project.org/
License GNU General Public License (GPL), Version 2
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
There is a newer version: 2.12.2
Show newest version
Show more of this group  Show more artifacts with this name
Show all versions of keyext.slicing Show documentation

Please rate this JAR file. Is it a good library?

0 downloads

Source code of keyext.slicing version 2.12.3

META-INF
META-INF.META-INF.MANIFEST.MF
org.key_project.slicing
org.key_project.slicing.org.key_project.slicing.DependencyNodeData
org.key_project.slicing.org.key_project.slicing.DependencyTracker
org.key_project.slicing.org.key_project.slicing.Main
org.key_project.slicing.org.key_project.slicing.RuleStatistics
org.key_project.slicing.org.key_project.slicing.SlicingExtension
org.key_project.slicing.org.key_project.slicing.SlicingProofReplayer
org.key_project.slicing.org.key_project.slicing.SlicingSettings
org.key_project.slicing.org.key_project.slicing.SlicingSettingsProvider
org.key_project.slicing.analysis
org.key_project.slicing.analysis.org.key_project.slicing.analysis.AnalysisResults
org.key_project.slicing.analysis.org.key_project.slicing.analysis.DependencyAnalyzer
org.key_project.slicing.graph
org.key_project.slicing.graph.org.key_project.slicing.graph.AddedRule
org.key_project.slicing.graph.org.key_project.slicing.graph.AnnotatedEdge
org.key_project.slicing.graph.org.key_project.slicing.graph.AnnotatedShortenedEdge
org.key_project.slicing.graph.org.key_project.slicing.graph.ClosedGoal
org.key_project.slicing.graph.org.key_project.slicing.graph.DependencyGraph
org.key_project.slicing.graph.org.key_project.slicing.graph.DotExporter
org.key_project.slicing.graph.org.key_project.slicing.graph.EquivalenceDirectedGraph
org.key_project.slicing.graph.org.key_project.slicing.graph.GraphNode
org.key_project.slicing.graph.org.key_project.slicing.graph.PseudoInput
org.key_project.slicing.graph.org.key_project.slicing.graph.PseudoOutput
org.key_project.slicing.graph.org.key_project.slicing.graph.TrackedFormula
org.key_project.slicing.ui
org.key_project.slicing.ui.org.key_project.slicing.ui.HtmlDialog
org.key_project.slicing.ui.org.key_project.slicing.ui.HtmlFactory
org.key_project.slicing.ui.org.key_project.slicing.ui.IndexFactory
org.key_project.slicing.ui.org.key_project.slicing.ui.PanZoomImageView
org.key_project.slicing.ui.org.key_project.slicing.ui.PreviewDialog
org.key_project.slicing.ui.org.key_project.slicing.ui.RuleStatisticsDialog
org.key_project.slicing.ui.org.key_project.slicing.ui.ShowCreatedByAction
org.key_project.slicing.ui.org.key_project.slicing.ui.ShowGraphAction
org.key_project.slicing.ui.org.key_project.slicing.ui.ShowNodeInfoAction
org.key_project.slicing.ui.org.key_project.slicing.ui.SliceToFixedPointDialog
org.key_project.slicing.ui.org.key_project.slicing.ui.SliceToFixedPointWorker
org.key_project.slicing.ui.org.key_project.slicing.ui.SlicingLeftPanel
org.key_project.slicing.util
org.key_project.slicing.util.org.key_project.slicing.util.ExecutionTime
org.key_project.slicing.util.org.key_project.slicing.util.GenericWorker
org.key_project.slicing.util.org.key_project.slicing.util.GraphvizDotExecutor
org.key_project.slicing.util.org.key_project.slicing.util.GraphvizResult




© 2015 - 2024 Weber Informatics LLC | Privacy Policy