search

NTU-ALComLab / MCC2021

Files to participate in the Model Counting Competition 2021
2 stars 0 forks source link

Update the temporary path `write_sdimacs` to a parameter or do it in memory #2

Closed nianzelee closed 3 years ago

nianzelee commented 3 years ago

As required by the competition organizers.

haorenW1025 commented 3 years ago

Should be fixed by the latest commit, README is updated too.