victornicolet / parsyntLinks
Automatic parallel divide-and-conquer programs synthesizer
☆16Updated 3 years ago
Alternatives and similar repositories for parsynt
Users that are interested in parsynt are comparing it to the libraries listed below
Sorting:
- An automatic recursive function transformer.☆10Updated last year
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆42Updated 4 years ago
- Library for symbolic automata and symbolic visibly pushdown automata