conexp-clj

conexp-clj copied to clipboard

When using conexp-clj as a RESTful service, it is important to explain the standardized communication formats to the user. The communication formats are already specified to a certain extent in...

itchy2385

JannikNordmeyer

Implemented Libkin Decomposition and Related Functions.

JannikNordmeyer

JannikNordmeyer

Implemented Classes and Methods for Contexts with Metrics.

JannikNordmeyer

algos + tests + docu

1

FWurmbach

JannikNordmeyer

Created Analysis Namespace Loaded by Default.

JannikNordmeyer

Implemented Causal Implication Algorithm

JannikNordmeyer

At the moment we have to compute a new drawing and then load the layout from a layout file. It would be more convenient to do this in one step.

hirthjo