Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience | Digital Library | PAMCET | PAMCET