4 ms·You are more or less correct. The `project.execute()` API was indeed inspired by Manticore!by ltfish 8y agoYou are more or less correct. The `project.execute()` API was indeed inspired by Manticore!