S
solver

Projects with this topic

R

MIAO / Software / RoundingSat

RoundingSat: the pseudo-Boolean solver powered by proof complexity!

solver combinatoria... integer line...

7

Updated Jan 07, 2025

7 15 0 8

Updated Jan 07, 2025
S

Joris Olympio / SDP-TRSOLVER

Trust region solver for small dense problems

applied math... trust-region solver
+ 1 more

1

Updated Jan 09, 2019

1 0 0

Updated Jan 09, 2019