Raw File
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>
back to top