WingNews GitHub [2]

jix's submissions

Varisat 0.2.0 Released (Sat Solver in Rust) (jix.one)

2 pts| 7 years ago | discuss

Incremental Solving and Proofs (Sat Solver Written in Rust) (jix.one)

1 pts| 7 years ago | discuss

Refactoring Varisat: 4. Heuristics (Sat Solver in Rust) (jix.one)

1 pts| 7 years ago | discuss

Refactoring Varisat: 3. Conflict Driven Clause Learning (jix.one)

2 pts| 7 years ago | discuss

Not Even Coppersmith's Attack (jix.one)

2 pts| 8 years ago | discuss

Pushing Polygons on the Mega Drive (jix.one)

194 pts| 9 years ago | 45 comments

page 1