please change the organization of the following libraries

[guicho271828]

guicho271828/cl-sat -> cl-model-languages/cl-sat
guicho271828/cl-maxsat -> cl-model-languages/cl-maxsat
guicho271828/cl-prolog2 -> cl-model-languages/cl-prolog2
guicho271828/cl-sat.glucose -> cl-model-languages/cl-sat.glucose
guicho271828/cl-sat.minisat -> cl-model-languages/cl-sat.minisat
guicho271828/cl-sat.picosat -> cl-model-languages/cl-sat.picosat
guicho271828/cl-smt -> cl-model-languages/cl-smt

thank you

[quicklisp]

Although I usually prefer issues, this is a case where PR would be helpful. Would you please resubmit as a PR?

…

On Sun, Feb 2, 2020 at 3:25 PM Masataro Asai ***@***.***> wrote: guicho271828/cl-sat -> cl-model-languages/cl-sat guicho271828/cl-maxsat -> cl-model-languages/cl-maxsat guicho271828/cl-prolog2 -> cl-model-languages/cl-prolog2 guicho271828/cl-sat.glucose -> cl-model-languages/cl-sat.glucose guicho271828/cl-sat.minisat -> cl-model-languages/cl-sat.minisat guicho271828/cl-sat.picosat -> cl-model-languages/cl-sat.picosat guicho271828/cl-smt -> cl-model-languages/cl-smt thank you — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#1794?email_source=notifications&email_token=AACPNLPWDI7KL5OLK2TPHVDRA4T4ZA5CNFSM4KO337JKYY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4IKN4GFQ>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AACPNLNDRJSXNBFUWEQF3D3RA4T4ZANCNFSM4KO337JA> .

[guicho271828]

ok