This project automates the provisioning of infrastructure to test the Congruence Closure Algorithm using Terraform. It sets up necessary resources on AWS, and installs required dependencies such as Python libraries for visualization and graph generation.
python flask-application ssh-key terraform-provider terraform-provisioner terraform-aws-infrastructure
-
Updated
Dec 23, 2024 - Python