MTABC.zip (4.75 MB)

Parameterized Model Counting for String and Numeric Constraints

Download (4.75 MB)
software
posted on 17.09.2018, 00:00 by Aydin, Abdulbaki, Eiers, William, Bang, Lucas, Brennan, Tegan, Gavrilov, Miroslav, Bultan, Tevfik, Yu, Fang

"Parameterized Model Counting for String and Numeric Constraints" tool. Please see README for instructions.

History

Exports