Release 3.12.0 (March 2026)

Latest

Latest

skrieter released this 11 Mar 20:14

f573653

Adds functionality to specify custom timeouts for many analyses (#1480)
Fixes some compatibility issues
- Increases Sat4J version to 2.3.6
- Increase compatibility with newer Eclipse versions
- #1504, #1477
Fixes problems with output formats
- SXFM (#1483)
- DIMACS (#1487)
Fixes UI problems in configuration editor (#1510)
Fixes problems in feature model cloning (#1482)
Other minor bug fixes (#1476, #1478, #1479, #1481, #1486, #1489)

Assets 4