https://gitlab.com/pierre.carbonnelle/m2csmt

https://gitlab.com/pierre.carbonnelle/m2csmt

Last synced: 4 months ago
JSON representation

• Host: gitlab.com
• URL: https://gitlab.com/pierre.carbonnelle/m2csmt
• Owner: pierre.carbonnelle
• License: mit
• Created: 2024-10-04T19:46:23.173Z (about 1 year ago)
• Default Branch: main
• Last Synced: 2025-04-12T06:02:46.072Z (8 months ago)
• Stars: 0
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - m2cSMT - solver of non-linear (in)equations encoded in a subset of the SMT-Lib format. (Projects / Provers and Solvers)