The new kclause support for modeling tests of specific tristate values works for the default kclause output. But kismet uses two custom formula extractions (normal-dependencies and selects) that have not yet been updated to use the tristate values. Since the tristate value modeling requires some global support, handling this for kismet's formula extractions will require additional effort.
This additionally adds an option to disable kclause's new tristate modeling, which is used by kismet. It also moves kismet's formula folder to .kismet instead of .kmax.
The new kclause support for modeling tests of specific tristate values works for the default kclause output. But kismet uses two custom formula extractions (normal-dependencies and selects) that have not yet been updated to use the tristate values. Since the tristate value modeling requires some global support, handling this for kismet's formula extractions will require additional effort.
This additionally adds an option to disable kclause's new tristate modeling, which is used by kismet. It also moves kismet's formula folder to .kismet instead of .kmax.