GitHub repository: trustworthy-code/HRA-solver
Primary language: Common Lisp
Created: 2025-02-14T06:19:32Z
Description: HRA-solver: trustworthy polynomial 2SAT-based solver for heterogeneous resource allocation (HRA)