neural network with output constraints(In the neural network, constraints are imposed using gradient-based inference: at test-time, for every input, we continuously adjust the model weights until the neural network's unconstrained inference procedure generates an output that satisfies the given constraints.arxiv.orgAlex_Odeychuk)
numerical constraint solver(IBM; русс. перевод взят из работы Института систем информатики им. А.П. Ершова СО РАН по алгоритмам программирования в ограничениях Alex_Odeychuk)