S
solver

Projects with this topic

View themalingadingdong project

Jonathan Troyer / themalingadingdong

Base24 theme generator that actually looks balanced.

Rust color theme palette-gene... base16 base24 tinted-theming CAM16 hellwig-fair... apca accessibility color-science TUI cli colormap color-palette solver

0

Updated Aug 01, 2026

0 0 0 2

Updated Aug 01, 2026
View Symbolical project

Symbolical / Symbolical

This project is for the development of the desktop application Symbolical

math mathematics symbolic solver

3

Updated Jul 25, 2026

3 3 0 4

Updated Jul 25, 2026
View RoundingSat project

MIAO / Software / RoundingSat

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

solver combinatoria... integer line...

9

Updated Jul 05, 2026

9 18 0 10

Updated Jul 05, 2026
View numerous solver project

numerous / numerous solver

numerical me... numerical si... numba numerous Python solver

7

Updated Mar 12, 2024

7 0 0 0

Updated Mar 12, 2024
View SDP-TRSOLVER project

Joris Olympio / SDP-TRSOLVER

Trust region solver for small dense problems

applied math... trust-region solver optimization

1

Updated Jan 09, 2019

1 0 0

Updated Jan 09, 2019