<dependency>
    <groupId>io.github.chains-project</groupId>
    <artifactId>trace-diff</artifactId>
    <version>0.4.0</version>
    <scope>compile</scope>
</dependency>

Scope:

Format:

Include backlinks

implementation("io.github.chains-project:trace-diff:0.4.0")

Scope:

Include backlinks

libraryDependencies += "io.github.chains-project" % "trace-diff" % "0.4.0"

Scope:

Include backlinks

ivy"io.github.chains-project:trace-diff:0.4.0"

Scope:

Include backlinks

<dependency org="io.github.chains-project" name="trace-diff" rev="0.4.0"/>

Scope:

Include backlinks

@Grapes(
    @Grab(group='io.github.chains-project', module='trace-diff', version='0.4.0')
)

Scope:

Include backlinks

[io.github.chains-project/trace-diff "0.4.0"]

Scope:

Include backlinks

'io.github.chains-project:trace-diff:jar:0.4.0'

Licenses

License

URL

The Unlicense

https://unlicense.org/

Developers

Name Email Dev Id Roles Organization

Khashayar Etemadi khaes<at>kth.se khaes-kth KTH Royal Institute of Technology

Aman Sharma amansha<at>kth.se algomaster99 KTH Royal Institute of Technology

Current Group

Categories (277)

State Differencing » 0.4.0

Licenses

Developers

Indexed Repositories (3155)

Popular Tags

About