Similar Items: Htool-DDM: A C++ library for parallel solvers and compressed linear systems.
- Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds
- A Flexible Proof Format for SAT Solver-Elaborator Communication
- GVEC: A flexible 3D MHD equilibrium solver
- JSOSolvers.jl: Unconstrained and bound-constrained optimization solvers
- A Parallel Version of COCR Method for Solving Complex Symmetric Linear Systems
- An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets