Automated Logic Integration Denver