<commit_before># Zizized

[![Gitter](https://badges.gitter.im/Join%20Chat.svg)](https://gitter.im/mind-era/zizized?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&content=body_link) [![Build Status](https://travis-ci.org/mind-era/zizized.svg?branch=master)](https://travis-ci.org/mind-era/zizized)
A z3 inspired theorem prover for Scala.

License: [AGPLv3](http://www.gnu.org/licenses/agpl-3.0.en.html)
Copyright: (c) 2015 Mind Eratosthenes Kft.<commit_msg>Added some info about the documentation<commit_after># Zizized

[![Gitter](https://badges.gitter.im/Join%20Chat.svg)](https://gitter.im/mind-era/zizized?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&content=body_link) [![Build Status](https://travis-ci.org/mind-era/zizized.svg?branch=master)](https://travis-ci.org/mind-era/zizized)

A z3 inspired theorem prover for Scala.

## Documentation

Check out our [wiki](https://github.com/mind-era/zizized/wiki) for details.

### Developer documentation

The [Development-docs wiki page](https://github.com/mind-era/zizized/wiki/Development-docs) might be a good starting point.

License: [![AGPLv3](http://www.gnu.org/graphics/agplv3-155x51.png)](http://www.gnu.org/licenses/agpl-3.0.en.html)
Copyright: (c) 2015 Mind Eratosthenes Kft.
{'fraction_non_alphanumeric': 0.1751592356687898, 'fraction_numerical': 0.020700636942675158, 'mean_word_length': 5.94475138121547, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 10, 'lorem ipsum': 0, 'www.': 3, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 3, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2781055', 'n_tokens_mistral': 504, 'n_tokens_neox': 479, 'n_words': 63}