New Life Hack: Using LLMs to Generate Constraint Solver Programs for Personal Logistics Tasks (by emschwartz) — discussion

#formalmethods #vibecoding