Different results from libs

[kubsztal]

Hi,
is this project still on track? Will FeatureIDE 4 based on these libs be ever released? I'm trying to check their capabilities and integrate them in my project, but having some dubious results, for example:

C:\Users\kubsztal_stuff\projects\featjar\FeatJAR\all\build\libs>java -jar feature-model-0.1.0-SNAPSHOT-all.jar solutions-sat4j --input tst.xml --limit 50
[26/01/2026, 17:38] [INFO] time needed for computation: 0.068s
Configuration;feature_tst_prj;Base;NewFeature;NewFeature3;NewFeature2;NewFeature5;NewFeature4
0;+;+;-;-;-;-;-
1;+;+;-;-;-;-;-
2;+;+;-;-;-;-;-
3;+;+;-;-;-;-;-
4;+;+;-;-;-;-;-
5;+;+;-;-;-;-;-
6;+;+;-;-;-;-;-
7;+;+;-;-;-;-;-
8;+;+;-;-;-;-;-
9;+;+;-;-;-;-;-
10;+;+;-;-;-;-;-
11;+;+;-;-;-;-;-
12;+;+;-;-;-;-;-
13;+;+;-;-;-;-;-
14;+;+;-;-;-;-;-
15;+;+;-;-;-;-;-
16;+;+;-;-;-;-;-
17;+;+;-;-;-;-;-
18;+;+;-;-;-;-;-
19;+;+;-;-;-;-;-
20;+;+;-;-;-;-;-
21;+;+;-;-;-;-;-
22;+;+;-;-;-;-;-
23;+;+;-;-;-;-;-
24;+;+;-;-;-;-;-
25;+;+;-;-;-;-;-
26;+;+;-;-;-;-;-
27;+;+;-;-;-;-;-
28;+;+;-;-;-;-;-
29;+;+;-;-;-;-;-
30;+;+;-;-;-;-;-
31;+;+;-;-;-;-;-
32;+;+;-;-;-;-;-
33;+;+;-;-;-;-;-
34;+;+;-;-;-;-;-
35;+;+;-;-;-;-;-
36;+;+;-;-;-;-;-
37;+;+;-;-;-;-;-
38;+;+;-;-;-;-;-
39;+;+;-;-;-;-;-
40;+;+;-;-;-;-;-
41;+;+;-;-;-;-;-
42;+;+;-;-;-;-;-
43;+;+;-;-;-;-;-
44;+;+;-;-;-;-;-
45;+;+;-;-;-;-;-
46;+;+;-;-;-;-;-
47;+;+;-;-;-;-;-
48;+;+;-;-;-;-;-
49;+;+;-;-;-;-;-

C:\Users\kubsztal_stuff\projects\featjar\FeatJAR\all\build\libs>java -jar formula-analysis-ddnnife-0.1.0-SNAPSHOT-all.jar solutions-ddnnife --input tst.xml --limit 50
[26/01/2026, 17:38] [INFO] time needed for computation: 0.788s
Configuration;feature_tst_prj;Base;NewFeature;NewFeature3;NewFeature2;NewFeature5;NewFeature4
0;+;-;-;+;-;-;-
1;+;-;+;+;-;-;-
2;+;-;-;+;-;+;-
3;+;-;+;+;-;+;-
4;+;-;-;+;-;-;+
5;+;-;+;+;-;-;+
6;+;-;-;+;-;+;+
7;+;-;+;+;-;+;+
8;+;-;-;+;+;-;-
9;+;-;+;+;+;-;-
10;+;-;-;+;+;+;-
11;+;-;+;+;+;+;-
12;+;-;-;+;+;-;+
13;+;-;+;+;+;-;+
14;+;-;-;+;+;+;+
15;+;-;+;+;+;+;+
16;+;+;-;+;-;-;-
17;+;+;+;+;-;-;-
18;+;+;-;+;-;+;-
19;+;+;+;+;-;+;-
20;+;+;-;+;-;-;+
21;+;+;+;+;-;-;+
22;+;+;-;+;-;+;+
23;+;+;+;+;-;+;+
24;+;+;-;+;+;-;-
25;+;+;+;+;+;-;-
26;+;+;-;+;+;+;-
27;+;+;+;+;+;+;-
28;+;+;-;+;+;-;+
29;+;+;+;+;+;-;+
30;+;+;-;+;+;+;+
31;+;+;+;+;+;+;+
32;+;-;-;-;-;-;+
33;+;+;-;-;-;-;+
34;+;-;+;-;-;-;+
35;+;+;+;-;-;-;+
36;+;+;-;-;-;-;-
37;+;+;+;-;-;-;-
38;+;-;+;-;-;-;-

C:\Users\kubsztal_stuff\projects\featjar\FeatJAR\all\build\libs>java -jar formula-analysis-sat4j-0.1.0-SNAPSHOT-all.jar solutions-sat4j --input tst.xml --limit 50
[31/01/2026, 19:37] [INFO] time needed for computation: 0.07s
Configuration;feature_tst_prj;Base;NewFeature;NewFeature3;NewFeature2;NewFeature5;NewFeature4
0;+;+;-;-;-;-;-
1;+;+;-;-;-;-;-
2;+;+;-;-;-;-;-
3;+;+;-;-;-;-;-
4;+;+;-;-;-;-;-
5;+;+;-;-;-;-;-
6;+;+;-;-;-;-;-
7;+;+;-;-;-;-;-
8;+;+;-;-;-;-;-
9;+;+;-;-;-;-;-
10;+;+;-;-;-;-;-
11;+;+;-;-;-;-;-
12;+;+;-;-;-;-;-
13;+;+;-;-;-;-;-
14;+;+;-;-;-;-;-
15;+;+;-;-;-;-;-
16;+;+;-;-;-;-;-
17;+;+;-;-;-;-;-
18;+;+;-;-;-;-;-
19;+;+;-;-;-;-;-
20;+;+;-;-;-;-;-
21;+;+;-;-;-;-;-
22;+;+;-;-;-;-;-
23;+;+;-;-;-;-;-
24;+;+;-;-;-;-;-
25;+;+;-;-;-;-;-
26;+;+;-;-;-;-;-
27;+;+;-;-;-;-;-
28;+;+;-;-;-;-;-
29;+;+;-;-;-;-;-
30;+;+;-;-;-;-;-
31;+;+;-;-;-;-;-
32;+;+;-;-;-;-;-
33;+;+;-;-;-;-;-
34;+;+;-;-;-;-;-
35;+;+;-;-;-;-;-
36;+;+;-;-;-;-;-
37;+;+;-;-;-;-;-
38;+;+;-;-;-;-;-
39;+;+;-;-;-;-;-
40;+;+;-;-;-;-;-
41;+;+;-;-;-;-;-
42;+;+;-;-;-;-;-
43;+;+;-;-;-;-;-
44;+;+;-;-;-;-;-
45;+;+;-;-;-;-;-
46;+;+;-;-;-;-;-
47;+;+;-;-;-;-;-
48;+;+;-;-;-;-;-
49;+;+;-;-;-;-;-

[skrieter]

Hi @kubsztal
I see what you mean. Maybe we have to align the behavior of solutions-ddnnife and solutions-sat4j.
Currently, what you see for solutions-sat4j is the intended behavior. If you need different solutions, you can provide the flag --no-duplicates. You can also provide a different strategy for the sat4j solver with --strategy (e.g. --strategy fast_random).

You can see all the options for both commands by calling solutions-ddnnife --help and solutions-sat4j --help.

Best,
Sebastian

[skrieter]

As for your other question, we are working on it.
FeatureIDE 4.0 is a lot of work and may still take a while.

[kubsztal]

Hi @skrieter ,
thank you very much for the feedback. Indeed, it would be better (at least more understandable from a casual user point of view ;) if the same commands would work similarly for all the libs, and any desired differences would be configurable. When I run java -jar formula-analysis-sat4j-0.1.0-SNAPSHOT-all.jar solutions-sat4j --input tst.xml --limit 500, I'm still getting the same single combination repeated 500x - not very intuitive. Other question: are you also planning to add detection of false optional features and redundant constraints to the featjar libs? As far as I found, they are calculated by featureide itself and are not available in featjar yet. Would be great to be able to perform all these feature model and configuration analyses just with featjar libs.

[skrieter]

Hi @kubsztal
yes, that is planned. Internally, both of theses analyses already exist, however there are no CLI commands yet.
This is mainly because they require information from the feature diagram and cannot be computed with just the propositional formula. Thus, we will implement the commands in the feature-model project and not in formula-analysis-sat4j.

[kubsztal]

Great, thanks for letting me know! :)