Free, logic-based constraint solver: C++ implementation of implicit enumeration algorithm for solving (non)linear 0-1 (or pseudo-Boolean) optimization problems with integer coefficients.

Visits
294
Added
Jun 11, 2025
Rating
(28)
Rate This Site
QR Code
QR code Download PNG
Embed Badge
Place this code on your website to show you're listed here.
Advertise herefrom $15.00/day  ·  RON $21.00/day
Get the best links delivered weekly — hand-picked from 2,999,519 resources