A SAT-based C/C++ solver for the Resource-Constrained Project Scheduling Problem with General Precedence Relations (RCPSP-GPR)
c cpp scheduling constraint-satisfaction-problem project-management constraint-programming sat satisfiability rcpsp sat-encodings project-scheduling
-
Updated
Oct 15, 2025 - C