Architecture

ESBMC-AI is a platform that allows for easy development of APR methods. The platform contains components that are