Open santolucito opened 2 years ago
Take the profile of synthesis requests we get from our applications and use this tool: https://github.com/alexcasalboni/aws-lambda-power-tuning
the goal is to figure out the best lambda configuration for CVC5 for our use case (live coding synthesis)
this is too engineering focused to prioritize for now. a good semester project for a student though
Take the profile of synthesis requests we get from our applications and use this tool: https://github.com/alexcasalboni/aws-lambda-power-tuning
the goal is to figure out the best lambda configuration for CVC5 for our use case (live coding synthesis)