Asynchronous UI #8

Open

Assignees

Labels

opened

on Feb 22, 2017

TODO: Implement asynchronous user interface to the UnificationAlgorithms, to be able to stop the computation of unifiers if it takes too long.

Metadata

Assignees

stefborg

Labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests