HN
Hacker News
Top
New
Best
Ask
Show
Jobs
jix
171 karma · joined January 20, 2011
submissions
comments
Varisat 0.2.0 Released (Sat Solver in Rust)
jix.one
·
2 pts
·
jix
·
0
Incremental Solving and Proofs (Sat Solver Written in Rust)
jix.one
·
1 pts
·
jix
·
0
Refactoring Varisat: 4. Heuristics (Sat Solver in Rust)
jix.one
·
1 pts
·
jix
·
0
Refactoring Varisat: 3. Conflict Driven Clause Learning
jix.one
·
2 pts
·
jix
·
0
Not Even Coppersmith's Attack
jix.one
·
2 pts
·
jix
·
0
Pushing Polygons on the Mega Drive
jix.one
·
194 pts
·
jix
·
45