Jude Gyimah, Jan Sollmann, Ole Schuerks, Patrick Franz, Thorsten Berger. A Demo of ConfigFix: Semantic Abstraction of Kconfig, SAT-based Configuration, and DIMACS Export. In Mathieu Acher, Juliana Alves Pereira, Clément Quinton, editors, Proceedings of the 19th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2025, Rennes, France, February 4-6, 2025. pages 91-96, ACM, 2025. [doi]
Abstract is missing.