Jannis Harder

https://jix.one

Leipzig

Results 2 repositories owned by


Jannis Harder

sortnetopt

35

Stars

1

Forks

Watchers

Lower Size Bounds for Sorting Networks

varisat

213

Stars

12

Forks

Watchers

SAT solver written in Rust