reverCSP

swMATH39402MaRDI QIDQ55102FDOQ55102

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-030-52482-1_14

Source code repository: https://github.com/tamarit/reverCSP

Described by source

• ReverCSP: time-travelling in CSP computations

This page was built for software: reverCSP