0x17/sat_based_solution_rcpsp

SAT-based solution for the Resource-Constrained Project Scheduling Problems. This fork also reads PSPLIB/Patterson formats.

Java