2222-42 / studyingSpecifyingSystems

0 stars 0 forks source link

N-Queens Problem #7

Closed 2222-42 closed 4 years ago

2222-42 commented 4 years ago

why

Terminationの練習問題として

what

[x] N-Queens Problemを理解する。
[x] TLAのコードを読む