README.md
# Tools
## About
Tools written in Python 3.
## Files
<dl>
<dt>generate_patterns.py</dt>
<dd>Generates a Pizza&Chili format pattern file from an input text, by randomly extracting substrings.</dd>
<dt>generate_sh.py</dt>
<dd>Generates shell scripts for experiments on various conditions. You can give the filename and commands in the file with arbitrary number of variables. Type "*" to claim there enters a variable.</dd>
<dt>linear_scan.py</dt>
<dd>Does the same thing as bri-count by the simple and obvious algorithm, but in extremely inefficient space and time. For verification only.</dd>
</dl>