GitHub repository: neta-elad/qifac
Primary language: Python
Created: 2022-07-22T18:33:09Z
Description: Quantifier Instantiations Finder and Cleaner