Dependencies:
- TVM
- Python-MIP (I don't know if it's the best solver, but it can be installed with
pip3 install mip)
To run the tests, add src to your $PYTHONPATH. You can see the test generators for basic versions of fuzzers, though the classes in src are intended to be parameterized to allow for better generation strategies. Note that the test generator can be configured (see the description for the validate_config method in the same file).