Merge pull request #83224 from shnarazk/cadical-pr

cadical: init at 1.2.1
2020-04-04 15:44:04 +00:00
parent 4fe81e34c9 c5a12e33d2
commit 02b1f2a2de
3 changed files with 36 additions and 0 deletions
@@ -6771,6 +6771,11 @@
    github = "shmish111";
    name = "David Smith";
  };
+  shnarazk = {
+    email = "shujinarazaki@protonmail.com";
+    github = "shnarazk";
+    name = "Narazaki Shuji";
+  };
  shou = {
    email = "x+g@shou.io";
    github = "Shou";