Encode Core Requirement Traceability Theory in KodKod Model Finder (Java) #95

Open

Assignees

Labels

EvaluationKodKodTraceabilitycompleted

opened

on May 26, 2017

I will explain to you how to use KodKod Java API and to encode problems in Relational Logic.

Metadata

Assignees

Labels

EvaluationKodKodTraceabilitycompleted

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests