savanty Python
Bridging natural language and constraint satisfaction. Describe a discrete constraint problem in English; an LLM writes Answer Set Programming and Clingo solves it or proves it infeasible.
Tag
constraints
1 result tagged "constraints"