Huge improvement for PDR/IC3 algorithms
Primary LanguageJupyter Notebook
Implementation of using reinforcement learning to improve the PRD/IC3 algorithm