Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
TKasekamp committed May 14, 2015
1 parent 04133f6 commit cb9fc7d
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
LTLMiner
=============

For all your Minecraft needs!
Application developed for discovering declerative process models.

Sorry, this is just a tool for process mining that uses a version of LTLChecker found [here](https://bitbucket.org/TKasekamp/ltlchecker-alone).
This is a tool for process mining that uses a version of LTLChecker found [here](https://bitbucket.org/TKasekamp/ltlchecker-alone).

More to come. Soon. Maybe.
Performance tests can be found [here](https://github.com/TKasekamp/ltlminer-tests).

0 comments on commit cb9fc7d

Please sign in to comment.