From 7d67a3b4a06990b42e095f4b69d859e0a6be6bcc Mon Sep 17 00:00:00 2001 From: Masataro Asai Date: Sat, 8 Feb 2020 10:31:12 -0500 Subject: [PATCH] changing the organization of cl-sat, cl-sat.glucose, cl-sat.picosat, cl-maxsat, cl-prolog2 --- projects/cl-maxsat/source.txt | 2 +- projects/cl-prolog2/source.txt | 2 +- projects/cl-sat.glucose/source.txt | 2 +- projects/cl-sat.minisat/source.txt | 2 +- projects/cl-sat/source.txt | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) 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