Use full names for commands and remove `abc.rc`

NTU-ALComLab / MCC2021

Files to participate in the Model Counting Competition 2021

2 stars 0 forks source link

Closed nianzelee closed 3 years ago

nianzelee commented 3 years ago

Let's remove abc.rc from the repository. It is only needed for command aliases and we can just use full names for commands in the scripts.

@haorenW1025 : would you take care of this issue?

haorenW1025 commented 3 years ago

Should be fixed by the latest commit.