AWS Infrastructures written in Terraform

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.

A simple Terraform configuration for deploying an AWS Virtual Private Cloud (VPC) with core networking components. This project is designed for clarity and ease of use, focusing on the essential infrastructure needed for most AWS VPC environments.