MC 2020

Model Counting Competition 2022

We plan to co-located the 2022 competition with SAT 2022.
The SAT conference will be part of FLoC 2022 in Haifa, Israel

Late September or beginning of October,
we will gather developers and interested scientists to discuss tracks and community needs.
Send us an email and stay tuned.

Details. Coming soon.