GitHub repository: rheradio/Kconfig2logic
Primary language: C
Created: 2019-12-13T15:40:32Z
Description: A Kconfig-to-Propositional Logic Translation