chenyuandGitHub 1923932339 canonicalize simplex lt (#6658) ...

(X := a0*x0 + a1*x1 + ...) > 0 is equivalent to x0 + x1 + ... > 0 if xi >= 0 and ai > 0 for ints

2024-09-22 23:04:47 -04:00

..

workflows

canonicalize simplex lt (#6658)

2024-09-22 23:04:47 -04:00