Refactoring Varisat: 4. Heuristics (Sat Solver in Rust)jix.one1 point·jix··0 commentsOpen articleSaveView on HN