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

Stan Jansen / Sudoku

Sudoku generators, solvers and readers

sudoku generator solver
+ 2 more

0

Updated Jun 29, 2021

0 0 0 0

Updated Jun 29, 2021