A Demo of ConfigFix: Semantic Abstraction of Kconfig, SAT-based Configuration, and DIMACS Export. - Jude Gyimah; Jan Sollmann; Ole Schuerks; Patrick Franz; Thorsten Berger (VaMoS, 2025)