Blog Posts Tagged ‘rust’
Refactoring Varisat: 1. Basics and Parsing
Refactoring my CDCL based SAT solver written in Rust.
Refactoring Varisat: 2. Clause Storage and Unit Propagation
Implementing a clause allocator and watchlist based unit propagation.
Refactoring Varisat: 3. Conflict Driven Clause Learning
Implementing search using decisions and clause learning.
Refactoring Varisat: 4. Heuristics
Implementing heuristics for decisions, restarts and clause deletions. Also clause minimization.
Refactoring Varisat: 5. Incremental Solving and Proofs
Implementing assumption based incremental solving and proof logging, including LRAT proof logging.
Varisat 0.2.0 Released
Release of my refactored CDCL based SAT solver written in Rust.
Inroducing a CDCL SAT solver written in Rust.
Varisat 0.1.3: LRAT Generation and Proof Trimming
Varisat can now directly output and trim LRAT proofs.
Inroducing a Rust library to work around interprocedural borrowing conflicts.