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