Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
1.
Sudoku solver in Rust (github.com/aochagavia)
2 points
steveklabnik
12 years ago
discuss
2.
An Adventure with Optimization and Z3 (github.com/aochagavia)
1 point
wofo
4 years ago
discuss