Last released Jan 11, 2026
A differentiable, constraint-oriented programming language that compiles to PyTorch
Supported by