diff --git a/projects/cl-maxsat/source.txt b/projects/cl-maxsat/source.txt index 4f6b94a8..4d270cd9 100644 --- a/projects/cl-maxsat/source.txt +++ b/projects/cl-maxsat/source.txt @@ -1 +1 @@ -git https://github.com/guicho271828/cl-maxsat.git +git https://github.com/cl-model-languages/cl-maxsat.git diff --git a/projects/cl-prolog2/source.txt b/projects/cl-prolog2/source.txt index 76db635a..ce362a10 100644 --- a/projects/cl-prolog2/source.txt +++ b/projects/cl-prolog2/source.txt @@ -1 +1 @@ -git https://github.com/guicho271828/cl-prolog2.git +git https://github.com/cl-model-languages/cl-prolog2.git diff --git a/projects/cl-sat.glucose/source.txt b/projects/cl-sat.glucose/source.txt index f2e2f373..dfca9a56 100644 --- a/projects/cl-sat.glucose/source.txt +++ b/projects/cl-sat.glucose/source.txt @@ -1 +1 @@ -git https://github.com/guicho271828/cl-sat.glucose.git +git https://github.com/cl-model-languages/cl-sat.glucose.git diff --git a/projects/cl-sat.minisat/source.txt b/projects/cl-sat.minisat/source.txt index ec61ff64..75723fd0 100644 --- a/projects/cl-sat.minisat/source.txt +++ b/projects/cl-sat.minisat/source.txt @@ -1 +1 @@ -git https://github.com/guicho271828/cl-sat.minisat.git +git https://github.com/cl-model-languages/cl-sat.minisat.git diff --git a/projects/cl-sat/source.txt b/projects/cl-sat/source.txt index 289ec702..cb135a60 100644 --- a/projects/cl-sat/source.txt +++ b/projects/cl-sat/source.txt @@ -1 +1 @@ -git https://github.com/guicho271828/cl-sat.git +git https://github.com/cl-model-languages/cl-sat.git