(= der Körper mit Grundbereich {0, 1} und Addition XOR und Multiplikation AND)
https://projects.coin-or.org/Clp
z. B. TSP, min/max-Probleme