Skip to content
STIMSMITH

PyChoco

Tool
First seen 7/7/2026
Last seen 7/7/2026
Evidence 9 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

2 connections
Test-Driven Generation of CSPs Using LLMs ← uses 100% 2e
The paper uses PyChoco as the Python API for constraint solving.
TSP constraint model (LLM-generated) ← uses 100% 2e
The TSP constraint model generated by the LLM uses PyChoco API for modeling and solving.