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
N

numerous / numerous solver

numerical me... numerical si... numba
+ 3 more

7

Updated Mar 12, 2024

7 0 0 0

Updated Mar 12, 2024
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