Giters

gipsyh / DAC24

Predicting Lemmas in Generalization of IC3 (Accepted by DAC2024)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Predicting Lemmas in Generalization of IC3

About

Predicting Lemmas in Generalization of IC3 (Accepted by DAC2024)

Languages

Language:C 46.2%Language:C++ 30.3%Language:TeX 11.8%Language:Rust 8.1%Language:Shell 1.4%Language:Makefile 1.3%Language:Java 0.5%Language:CMake 0.5%