Solver Toposortacle Test Generator

Instructions
Printer Module
Toposortacle Model
Test-generation Script

Hypothesis Toposortacle Test Generator

Instructions
Subproperty Functions
Test-generation Script
Contact: tbn@cs.brown.edu (alternatively: tbnelson@gmail.com)