Constraint Satisfaction Problem (CSP) solver
Execution and autodiff traits for TensorLogic inference engines
No description provided.