<commit_before>JKind
=====

JKind is a Java implementation of the [KIND model
checker](http://clc.cs.uiowa.edu/Kind/). KIND is a parallel
multi-property k-induction based model checker for Lustre programs.

Downloads
---------
[JKind 1.0](https://github.com/agacek/jkind/blob/uploads/jkind-1.0.zip?raw=true)

Design Goals
------------

JKind is designed to be cross-platform, reliable, and easy to extend.
Power and performance are secondary goals. Additionally, JKind
attempts to be compatible with pkind, the standard implementation of
KIND. Differences between JKind and pkind are described
[here](https://github.com/agacek/jkind/wiki/Differences-with-pkind).


Installation Notes
------------------

JKind requires [yices (version 1)](http://yices.csl.sri.com/download.shtml) to be installed on your PATH.
<commit_msg>Update README.md to point to JKind 1.1<commit_after>JKind
=====

JKind is a Java implementation of the [KIND model
checker](http://clc.cs.uiowa.edu/Kind/). KIND is a parallel
multi-property k-induction based model checker for Lustre programs.

Downloads
---------
[JKind 1.1](https://github.com/agacek/jkind/blob/uploads/jkind-1.1.zip?raw=true)

Design Goals
------------

JKind is designed to be cross-platform, reliable, and easy to extend.
Power and performance are secondary goals. Additionally, JKind
attempts to be compatible with pkind, the standard implementation of
KIND. Differences between JKind and pkind are described
[here](https://github.com/agacek/jkind/wiki/Differences-with-pkind).


Installation Notes
------------------

JKind requires [yices (version 1)](http://yices.csl.sri.com/download.shtml) to be installed on your PATH.

{'fraction_non_alphanumeric': 0.14077952297847585, 'fraction_numerical': 0.006980802792321117, 'mean_word_length': 3.226044226044226, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 4, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 4, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '999487', 'n_tokens_mistral': 574, 'n_tokens_neox': 531, 'n_words': 164}