search

cmu-soda / alloy-maxsat-benchmark

MIT License
0 stars 1 forks source link

Update run.sh #2

Closed eskang closed 3 years ago