Examples

This directory contains the examples from the paper. These examples can be run simply by loading any of these files after loading conjecturing.py, and possibly some other files. Each example specifies at the top which files need to be loaded.