GitHub repository: nhamlv-55/Ropey
Primary language: SMT
Description: Neural-guided Inductive Generalization.