Neulich habe ich einen Beitrag darüber gemacht, was ein SAT-Solver ist, und warum das eine wichtige Basis-Technologie für’s Variantenmanagement ist. Heute zeige ich euch MiniZinc, einen “Experimentierbaukasten” für SAT-Solver.

Ich beschäftige mich ja viel mit Variantenmanagement. Das ist ein weites Themenfeld mit vielen Facetten - wenn man sich aber intensiver mit den Tools für Variantenmanagement beschäftigt, läuft einem immer wieder ein Begriff über den Weg: SAT Solving.