GitHub - songhobby/RL2MC: Huge improvement for PDR/IC3 algorithms

Implementation of using reinforcement learning to improve the PRD/IC3 algorithm

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
.ipynb_checkpoints		.ipynb_checkpoints
APVproposal.pdf		APVproposal.pdf
README.md		README.md
a0e2		a0e2
a0e3		a0e3
a1e2		a1e2
a1e3		a1e3
a2e2		a2e2
a2e3		a2e3
cnn.png		cnn.png
gru.jpg		gru.jpg
mypdr0.py		mypdr0.py
mypdr1.py		mypdr1.py
mypdr2.py		mypdr2.py
mytest0.py		mytest0.py
mytest1.py		mytest1.py
mytest2.py		mytest2.py
plot.ipynb		plot.ipynb
runtime1.jpg		runtime1.jpg
runtime2.jpg		runtime2.jpg
unroll.png		unroll.png

Provide feedback