A framework for deploying UppSAT in the cloud. For more information about UppSAT, see https://github.com/uuverifiers/uppsat. This project is part of the Applied Cloud Computing course of Uppsala University, Fall semester 2018.
Clone repository and run "make stack" to create the stack. Connect to web-server on port 80 for API access and port 5555 for Flower overview of Celery queue. "make clean" will delete the stack. More information is contained in source files.
Please observe that the underlying back-ends are protected by license and are not allowed for commercial usage.