Modulesยง
- cdcl
- CaDiCaL CDCL solver integration for hybrid DMM-CDCL cooperation.
- dmm
- formula
- integrator
- parser
- preprocess
- CNF preprocessing pipeline to reduce formula size before ODE integration.
- solver
- sparse
- Compressed Sparse Row (CSR) matrix for sparse matrix-vector multiply.
- sparse_
deriv - Sparse matrix-based derivative computation for DMM.
- unsat_
signal - UNSAT signal detection for hybrid DMM-CDCL cooperation.