Repositories

Proc-macro based einsum implementation for rust-ndarray

Toy Conflict-Driven Clause-Learning (CDCL) SAT solver for my understanding