Gamora
Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks (DAC'23)
45 stars
3 watching
4 forks
Language: C
last commit: 3 months ago Gamora Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks (DAC'23)